Indeed. I've just build a deb for 4.13 and the problem is solved.
Would you mind uploading 4.13?
OpenPGP_signature
Description: OpenPGP digital signature
Indeed. I've just build a deb for 4.13 and the problem is solved.
Would you mind uploading 4.13?
OpenPGP_signature
Description: OpenPGP digital signature