On Fri, 17 Jul 2015 at 23:14 Robert Haas <robertmh...@gmail.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
