Hello Marc, shortly after you reported the bug I asked for volunteers to please do it for me. One person volunteered but never did the job. I pinged him, job still didn't get done, whatever.
In the meantime, quite some time has passed. Is this still needed? If yes, I'll look into it again. If not, I'll close the bug. Ciao, Enrico -- GPG key: 1024D/797EBFAB 2000-12-05 Enrico Zini <[EMAIL PROTECTED]>
signature.asc
Description: Digital signature
