This seems to have been fixed, probably in eb5ecf4944cd646341f7e47dda5396cf96a4b8a3.

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to