On Mon, 13 Oct 2014, Raphael Hertzog wrote: > BTW, Michael responded to me: > > Indeed, this looks like a bug in the patch, sorry for that. I will > > work on a fix right away. And he uploaded the fix: https://tracker.debian.org/news/577677 Cheers, -- Raphaël Hertzog ◈ Debian Developer Discover the Debian Administrator's Handbook: → http://debian-handbook.info/get/