An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/texhax/attachments/20181119/013b7b5d/attachment-0001.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: Signature.jpg Type: image/jpeg Size: 12104 bytes Desc: not available URL: <https://tug.org/pipermail/texhax/attachments/20181119/013b7b5d/attachment-0001.jpg>