On Mon, Dec 15, 2014 at 10:19:19AM -0500, Peter Eisentraut 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.
TODO item removed. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + Everyone has their own god. + -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
