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                                       [[email protected]]


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: https://lists.debian.org/[email protected]

Reply via email to