A new patch for this bug is sitting in the git repository of the package. This patch has been provided by upstream for the 3.0.2 branch. Still needs some more testing before uploading.
-Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ =====> New email address: [email protected] <===== -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
