On Mon, Sep 27, 2021 at 11:08:58PM +0200, Ludovic Courtès wrote:
> So here’s a patch to fix it, and another one to do a minor cleanup
> operation.

I created a "tracking bug" to coordinate rebuilding the world:

<https://bugs.gnu.org/50860>



Reply via email to