On 2013-10-28 12:44:34 +0200, Adrian Bunk wrote: > The simplicity of the workarounds implies that it should be easy to fix, > not that every single user should have to do the workaround himself.
In that case, version 2.9.0-7.1 had serious problems too. See http://lists.debian.org/debian-user/2012/05/msg02439.html http://lists.debian.org/debian-user/2012/05/msg02534.html and a few days later, I also had to disable the Times font, which was too small. -- Vincent Lefèvre <[email protected]> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
