On Tue, Dec 16, 2014 at 12:19 AM, Peter Eisentraut <pete...@gmx.net> wrote: > On 12/15/14 8:56 AM, Heikki Linnakangas wrote: >> Overall, I feel that this isn't really worth the trouble. We use >> fractions consistently now, so there isn't much room for confusion over >> what the current values mean. Using a percentage might be more familiar >> for some people, but OTOH you'll have to get used to the fractions >> anyway, unless we change the default output format too, and I'm not in >> favour of doing that. I suggest that we just drop this, and remove the >> TODO item. > > Agreed. > > The patch is sound as far as it goes (I might be inclined to accept > whitespace between number and % sign), but given the above points and > the original reason for it having been eliminated, I'm inclined to drop it. +1. -- Michael
-- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
