Leo Famulari <[email protected]> skribis: > On Sun, Sep 30, 2018 at 12:05:56AM +0200, Ludovic Courtès wrote: >> You could mention <https://bugs.gnu.org/30642> in the log. > > Right, thanks.
This fix was pushed in 994bccd9443032141accede0e403cbfb62f6c63e, closing! Ludo’.
