On Fri, Dec 20, 2013 at 3:30 PM, Jon Robson <jdlrobson(a)gmail.com> wrote:
Sorry to be clear - this was not suggesting removing
Georgia, just
swapping out the free font choice.
Ah, sorry. Well my only question then is whether it's common enough to
replace DejaVu serif then.
--
Steven Walling,
Product Manager
https://wikimediafoundation.org/