GNU bug report logs -
#28338
25.2; Default fonts for Info
Previous Next
Reported by: Drew Adams <drew.adams <at> oracle.com>
Date: Sun, 3 Sep 2017 15:24:02 UTC
Severity: wishlist
Tags: fixed
Found in version 25.2
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
> Date: Sun, 3 Sep 2017 11:16:10 -0700 (PDT)
> From: Drew Adams <drew.adams <at> oracle.com>
> Cc: 28338 <at> debbugs.gnu.org
>
> What makes you think that the change made was for
> the better?
Because I happen to like the results.
> > so I see no reason to change it, especially not
> > so close to the last change we made there.
>
> Right, and when it is _less_ close you will argue that
> it has been the way it is for a while and that "that
> ship has sailed."
So now you will invent what I will think and do in some hypothetical
future, and then derogate your invented thoughts and actions?
> Now is a good time to fix this, not a bad time.
Since there are no reasons to change, time is irrelevant.
This bug report was last modified 5 years and 224 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.