The diff in this message was picked up by the bug tracker. Resolved, by ‘06fb400a4’ on feature/all-tex-fonts.
Thanks, -- Jacob S. Gordon [email protected] Please don’t send me HTML emails or MS Office/Apple iWork documents. https://useplaintext.email/#etiquette https://www.fsf.org/campaigns/opendocument
