Indeed. I've just build a deb for 4.13 and the problem is solved.

Would you mind uploading 4.13?

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to