On Wed, May 11, 2011 at 03:00:52PM +0200, Christian PERRIER wrote: > The patch proposed upstream for this issue is apparently working, from > comments in upstream BTS. Should't we, then upload a new version with > that pach added?
I didn't have time to test it, these days I am quite busy with other stuff. But I don't have any objections if you want to integrate that patch! -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
