On Wed, 2 Sep 2020, Sven Schreiber wrote:
Certainly can't have been used much, but I suspect that bugs like
this
do get noticed by some people that then can't be bothered to report
them. (I'm not necessarily blaming them, I know it's an effort to find
out whom to contact or where to file the report.)
Most likely.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------