On 2018/06/21 0:45, Alvaro Herrera wrote:
> On 2018-Jun-19, Amit Langote wrote:
>
>> Noticed that the relevant code changed, so I rebased the patch. Also,
>> made a minor update to a nearby comment.
>
> Pushed, thanks. I made a couple of comments one or two words shorter
> while (IMO) not losing clarity.
Thank you.
Regards,
Amit