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.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company