From: Petter Reinholdtsen Date: Tue, 6 Feb 2018 08:29:06 +0000 (+0100) Subject: Replace hair space in latex file to avoid bug #889603. X-Git-Tag: es-printed~574 X-Git-Url: https://pere.pagekite.me/gitweb/text-madewithcc.git/commitdiff_plain/8058e4606e20727c168c8ff6a1f4b9721ef06a09?ds=inline;hp=8058e4606e20727c168c8ff6a1f4b9721ef06a09 Replace hair space in latex file to avoid bug #889603. ---