On Fri, Dec 20, 2013 at 3:30 PM, Jon Robson <[email protected]> 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/
_______________________________________________ Design mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/design
