On Mon, 10 Oct 2022 17:27:50 +0200 Ludovic Courtès <l...@gnu.org> wrote: > I’ll push a fix shortly.
Cool! Thanks! all best, jgart
On Mon, 10 Oct 2022 17:27:50 +0200 Ludovic Courtès <l...@gnu.org> wrote: > I’ll push a fix shortly.
Cool! Thanks! all best, jgart