4 points
-1 points
The PR hadn’t been reviewed and was merged by mistake, from my understanding.
3 points
*
PR #3249 got reviewed, approved and then merged by Nutomic and then reverted by dessalines because …
@TKilFree This got wrongly merged without a PR from me. You’ll need to re-open it.
Whatever that means …
