Subject: Re: bug#43366: "error: rmdir: Device or resource busy" when using btrfs
From: Maxim Cournoyer <[email-masked]>
To: Fredrik Salomonsson <[email-masked]>
Cc: [email-masked]
Date: Thu, 08 Oct 2020 11:44:10 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Pushed to core-updates with commit
7102c18678dc02d5ee6c77a9a70ae344482af841.

Closing.

Thanks,
Maxim