Bug#809412: closed by Luca Falavigna (Removal not necessary)

[Samuel Thibault]

Actually they did get removed manually, apparently the bts just didn't
get a close notification at the time :)

Thanks!
Samuel