Ah, I simply pushed the same branch again, which was already merged (and then later superseded by your revert). Applied it on top of trunk again.
« Back to merge proposal
Ah, I simply pushed the same branch again, which was already merged (and then later superseded by your revert). Applied it on top of trunk again.