On Thu, Jul 14, 2016 at 4:29 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> On Fri, Jul 8, 2016 at 7:14 AM, Michael Paquier
> <michael(dot)paquier(at)gmail(dot)com> wrote:
>>> OK, that removes comment duplication. Also, what about replacing
>>> "bit(s)" by "one or more bits" in the comment terms where adapted?
>>> That's bikeshedding, but that's what this patch is about.
>>
>> Translating my thoughts into code, I get the attached.
>
> Seems reasonable, but is the last hunk a whitespace-only change?
Yes, sorry for that.
--
Michael