Subject: Re: bug#36747: Official MesCC bootstrap binaries differ from my locally built ones
From: Mark H Weaver <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Tue, 27 Aug 2019 12:46:20 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès <[email-masked]> writes:

> Mark H Weaver <[email-masked]> skribis:
>
>> I could simply push the revised commits to 'core-updates' directly.
>
> That sounds good me, please do!

Done.  I'm closing this bug now, but feel free to reopen if there are
remaining issues that I've overlooked.

     Thanks!
       Mark