On Fri, Jul 17, 2015 at 4:23 AM, Brendan Jurd <direvus@gmail.com> wrote:
> On Thu, 16 Jul 2015 at 08:37 Gurjeet Singh <gurjeet@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