Subject: Re: bug#52919: Hidden "disk-image-rw" files aren't deleted after use, filling $tmpdir
From: Mathieu Othacehe <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked], Leo Famulari <[email-masked]>
Date: Fri, 14 Jan 2022 12:27:33 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey Ludo!

> It’s maybe not that important but I’m not convinced about the extra
> “-image” and “-vm” suffixes; I don’t think it makes things clearer.

Pushed without those suffixes!

Thanks for reviewing,

Mathieu