Hi! Just uploaded 1.3.13-2 to unstable which should include the fix and is the version I want for stretch. Can you please confirm it's now fine?
Thanks! Christoph -- 9FED 5C6C E206 B70A 5857 70CA 9655 22B9 D49A E731 Debian Developer | Lisp Hacker | CaCert Assurer
signature.asc
Description: PGP signature
