Hi Mike,
thanks for reporting this,
I've commited a fix into the Debian VCS and this will be fixed there with the next upload.
Cheers, Jan.
Hi Mike,
thanks for reporting this,
I've commited a fix into the Debian VCS and this will be fixed there with the next upload.
Cheers, Jan.