Subject: Re: bug#55227: [PATCH core-updates 0/8] The Full Source Bootstrap

From: Ludovic Courtès <[email-masked]>
Date: Sat, 14 May 2022 16:11:59 +0200

Hi!

So I think this v3 is ready to go in ‘core-updates’, woohoo!

Like I wrote, there are minor cosmetic improvements we could make, but
we can always do that afterwards.

Thank you!

Ludo’.