-Ben Kaduk
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I think we are interested in pulling in the patch for this bug into
stable. I'm not sure whether it can go in along with the fix for 728845
or not, which might introduce yet more delay.
