On Fri, 17 Jul 2015 at 23:14 Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> Committed. I changed one remaining use of "proportion" to "fraction",
> fixed an OID conflict, and reverted some unnecessary whitespace
> changes.
>
Thanks Robert. Sorry I missed a "proportion" in my latest version, and
thanks for catching it.
Cheers,
BJ