Closed hughjonesd closed 2 years ago
I.e. escape_contents() and possibly xetex. Avoids bug reports like #217.
escape_contents()
I.e.
escape_contents()
and possibly xetex. Avoids bug reports like #217.