From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked], [email-masked]
Date: Wed, 29 Nov 2017 16:15:18 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Ricardo Wurmus wrote:
> It looks like these patches were dropped.

Down 6 flights of very cracked stairs.

Finally pushed as 06d91fd944e58ce787048f5c1b7804b210ad1f82 et al.

Kind regards,

T G-R