* Michael Wiedmann <mw@miwie.in-berlin.de> wrote [041226 10:52]: > Of course this is a possible solution, but I think a more "official" > solution would be better and could reflect somehow the new version number. There is already a bug report about this issue: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=286718 including a small patch to fix this so I'd expect that this will be fixed very soon. Michael -- mw@miwie.in-berlin.de http://www.miwie.org