I'm switching this to "approved" because what's needed is just a trivial change, and there is no need to review again because of that.
« Back to merge proposal
I'm switching this to "approved" because what's needed is just a trivial change, and there is no need to review again because of that.