Hello, On Tue, Jan 21, 2014 at 10:40:24AM +0100, Laurent Bigonville wrote: > Hi, > > Are you sure this patch is correct? > > The fist chunk seems wrong to me and is not included in the patch you > have proposed upstream. > > As a side note, I don't think it's a good idea to apply such patch to a > package that has no dedicated maintainer before being sure that it has > been merged upstream first...
yeah, you are right, I was a bit fast in applying this patch. Anyway, it still doesn't compile on hppa, so I will revert the patch and have upstream sort it out. Cheers -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org