Am 13.03.2021 um 22:42 schrieb ESTEVEZ NUÑEZ JUAN CARLOS:
I was not aware of this page on bugs.
No problem, both ways are OK: Report a bug here on the mailing list, or
open a ticket on the sourceforge tracker
). The important thing is that the
bug is reported!