Subject: Re: [bug#29587] [PATCH] gnu, doc, tests: Use ‘bootloader-configuration’ everywhere.
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Wed, 6 Dec 2017 15:03:58 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks!

Pushed as fdfdecdb7ebfd05b4ae66cc5140078dbfc10fc35.

Kind regards,

T G-R