On Tue, Dec 3, 2019 at 8:36 AM Rafia Sabih <[email protected]> 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
