Good, I guess you can now close this bug as described in [1].

[1] https://www.debian.org/Bugs/Developer#closing

Reply via email to