Subject: Re: Give users control over file system checks.
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked], Mathieu Othacehe <[email-masked]>
Date: Thu, 23 Sep 2021 18:40:09 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Mathieu,

Thanks for the reminder!  Pushed as 
68b219b9f482f09e7c55aaee4b64222d8c86172a.

Kind regards,

T G-R