On Tue, 2020-10-13 at 12:40 +0200, Akim Demaille wrote: > I've installed this as follows in the maint branch. And I've > released 3.7.3 just now. Sorry for the trouble!
Thanks Akim! No problems.
On Tue, 2020-10-13 at 12:40 +0200, Akim Demaille wrote: > I've installed this as follows in the maint branch. And I've > released 3.7.3 just now. Sorry for the trouble!
Thanks Akim! No problems.