Subject: Re: [bug#31523] [PATCH 0/2] Getting rid of 'title' in 'file-system' declarations
From: [email-masked] (Ludovic Courtès)
To: Nils Gillmann <[email-masked]>
Cc: [email-masked]
Date: Mon, 28 May 2018 14:53:41 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

I’ve pushed it now.  Thanks for your support Nils & Tobias!  :-)

Ludo’.