This is right for me, but to be honest, Matthias Klose thought this fix
was necessary to avoid unwanted inclusion of fonts when exporting to PDF
(see https://lists.ubuntu.com/archives/ubuntu-devel-
discuss/2008-March/003477.html). If you think (like I do) that the fix
is worse than the original bug, just go on - and thanks for solving
this.

-- 
[Ubuntu] [hardy] [patch] Default font "Times" does not exist
https://bugs.launchpad.net/bugs/105906
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to