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>
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>