We established that this wasn't even required in the first place, so there's no harm in removing it.
« Back to merge proposal
We established that this wasn't even required in the first place, so there's no harm in removing it.