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: trei...@pps.univ-paris-diderot.fr <===== -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
