On Thu, 5 Dec 2019 at 14:45, Robert Haas <robertmhaas@gmail.com> wrote:
>
> On Tue, Dec 3, 2019 at 8:36 AM Rafia Sabih <rafia.pghackers@gmail.com> wrote:
> > While going through this file I noticed some inconsistencies in the
> > comments. Please find attachment for the fix.
>
> Committed. I think only the duplicated word is a clear error, but the
> other changes seem like mild improvements, so pushed the whole thing.
True and thank you.
--
Regards,
Rafia Sabih