GNOME 3 - font point sizes now scaled?

[Daniel Drake]

On Fri, Sep 30, 2011 at 2:47 PM, Nicolas Mailhot
<nicolas.mailhot at laposte.net> wrote:
> Someone Gnome-side decided to not trust xorg dpi and added a new heuristic to
> 'correct' it

I know this is part of a rant.. but any chance you could quantify that
point with a link to a commit, blog post, mailing list discussion,
something like that?

cheers
Daniel