Hi, On Wed, Oct 24, 2012 at 10:53:17PM +0200, Salvatore Bonaccorso wrote:
> @Yavor, so this still affects wheezy. I can try to help and provide a > patch and/or do an NMU (time permitting), in case Ralf cannot do right > now. Please let me know. I won't have time in the next days for this so please go ahead. -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]
