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/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
