tags 617890 + pending tags 617889 + pending thanks Thanks a lot for reporting these two issues. They have been fixed in our repository and these fixes will be included in the next upload.
Best regards, Michael
pgpRww0352qdX.pgp
Description: PGP signature
