On Fri, Jul 17, 2015 at 4:23 AM, Brendan Jurd <dire...@gmail.com> wrote: > On Thu, 16 Jul 2015 at 08:37 Gurjeet Singh <gurj...@singh.im> wrote: >> OK. Please send a new patch with the changes you agree to, and I can mark >> it ready for committer. > > Done. Please find attached patch v3. I have changed "proportion" to > "fraction", and made other wording improvements per your suggestions.
Committed. I changed one remaining use of "proportion" to "fraction", fixed an OID conflict, and reverted some unnecessary whitespace changes. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers