Auto(?) merge for pull-request #83 breaks everything

Question

Auto(?) merge for pull-request #83 breaks everything

MrNbaYoh opened this issue 3 years ago · comments

The auto (?) merge for pull request #83 on commit f8f7efd introduces duplicate declarations & other merging-related issues leading to compilation errors.

Flávio Oliveira · Answer 1 · Tue Mar 30 2021 14:30:51 GMT+0800 (China Standard Time)

@MrNbaYoh I think it will be fixed when we merge #84, @ppamorim right?

Pedro Paulo Amorim · Answer 2 · Tue Mar 30 2021 17:29:23 GMT+0800 (China Standard Time)

@wisespace-io This was caused because #85 was merged before #84. I opened a PR reverting these changes. Please be careful to not force merge draft PRs.