Thanks for the patch, I merged it in 4.0.0-2 and will forward it upstream. -- Romain Francoise <rfranco...@debian.org> http://people.debian.org/~rfrancoise/
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
