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.


Reply via email to