On Tue, Dec 16, 2014 at 12:19 AM, Peter Eisentraut <peter_e@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
