A new upstream version has been released and is in unstable since this bug was tagged as fixed-upstream. I haven't had the time to check whether it is really fixed, but if someone can check, this bug should probably be closed...
-- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://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]
