On Fri, Jan 02, 2015 at 01:33:34PM +0100, Fedor Brunner wrote: > This is duplicate of > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774410 > > Please close it. I already merged it instead, which is the proper thing to do with duplicates. https://www.debian.org/Bugs/server-control#merge -- Colin Watson [cjwatson@debian.org]