As promised after the holidays, the patch is in the upstream tree and just need do be in sync with the package. Will do that in the next few days. Best, Giuseppe
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
