bug#53064: Already fixed

[Liliana Marie Prikler]

Am Donnerstag, dem 06.01.2022 um 21:01 -0500 schrieb Stephen Paul
Weber:
> A push to master right after I filed this has fixed it already.
Debbugs allows you to mark your own bugs as done, you don't need to
wait for a committer or someone to acknowledge that.  Simply add "-
done" to the bug number, as I did for this message.