Re: disagreement in a merge review about patches