Since the other revert got already approved, I'm approving this one - it seems correct.
« Back to merge proposal
Since the other revert got already approved, I'm approving this one - it seems correct.