On Thu, Feb 23, 2012 at 10:32:42PM +0100, Johan Van de Wauw wrote: > This is fixed in the git repository now. > Missed a push round?
-- Francesco P. Lovergine -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
