GNOME 3 - font point sizes now scaled?

[Matthias Clasen]

On Fri, 2011-09-30 at 15:47 +0200, Nicolas Mailhot wrote:

> 
> There's nothing to do apart from waiting for enough complains to pile up the
> people in charge get past their reality denial phase.
> </rant>

This thread could have let to something constructive... but not so much
anymore now, I guess. Good going, getting down to the rant level in less
than 10 mails :-(