Closed n00blet closed 5 years ago
@n00blet could you please comment on why you merged to quickly initially and now simply reverted even more unexpectedly? You could at least have re-opened the PR and started a discussion...
I think the revert was an accident. It was closed unmerged.
Oh, sorry, I had overlooked that.
@n00blet could you please comment on why you merged to quickly initially and now simply reverted even more unexpectedly? You could at least have re-opened the PR and started a discussion...