Javier Fernandez-Sanguino:
Dear Niels,Thank you for preparing the patch. I have incorporated it into the GIT repository and have actually just uploaded a new version including this and other fixes provided by fellow developers. Saludos Javier
Thanks for the upload. :) Best regards, Niels
OpenPGP_signature.asc
Description: OpenPGP digital signature