Andreas Tille wrote:
Done in 0.12.4-3
This does not mark the bug as fixed in that version. Use a version header at the top of your email: Version: 0.12.4-3 Or use the control commands: https://www.debian.org/Bugs/server-control#fixed Kind Regards, Bas -- GPG Key ID: 4096R/6750F10AE88D4AF1 Fingerprint: 8182 DE41 7056 408D 6146 50D1 6750 F10A E88D 4AF1