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.
Speaking as a man whose children just finished fifth-grade math, a
proportion, technically speaking, is actually a relationship between
two fractions or ratios. So I agree that "fraction" is the right word
here.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company