On Wed, Feb 01, 2017 at 10:33:07PM -0500, waddlesplash wrote:
Hey all,
I'm (personally) not all that happy with the switch to the Noto font,
for a variety of reasons (which mostly boil down to "it just feels
wrong to me"):
Thoughts? If I'm the only one annoyed with Noto, then I can of course
just leave DejaVu in my preferences and we all can be happy. But if
I'm not in the minority, perhaps we should switch back to DejaVu...
If you have any opinion at all, please do chime in here.