On Thu, 5 Dec 2019 at 14:45, Robert Haas <robertmh...@gmail.com> wrote: > > On Tue, Dec 3, 2019 at 8:36 AM Rafia Sabih <rafia.pghack...@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
