* Michael Wiedmann <[EMAIL PROTECTED]> 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
-- 
[EMAIL PROTECTED]                              http://www.miwie.org


Reply via email to