Am 18.09.2020 um 16:04 schrieb Riccardo (Jack) Lucchetti:
On Fri, 18 Sep 2020, Riccardo (Jack) Lucchetti wrote:
> Thanks Yiannis, I'll try to fix the package asap.
I just uploaded a revised version of the package. It should be available
in a few days at the latest.
This (v3.1) is now online.
I'd like to encourage everyone to post bug reports about packages like
Ioannis did with this one.
cheers
sven