For small fix-ups like that, I think it's OK to recycle the branch and merge it again.
« Back to merge proposal
For small fix-ups like that, I think it's OK to recycle the branch and merge it again.