-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
I verified that this is fixed. However, the confirmation which now
appears is incorrect. I reported this in #712012.
