From e7cbcc7f4c9c171920e773ae73f10f6d9766b220 Mon Sep 17 00:00:00 2001 From: mirabilos <m@mirbsd.org> Date: Tue, 12 Nov 2019 19:49:52 +0100 Subject: [PATCH] move fixup_f4 to unicodedomino_compat.def MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (it’s a fully-merged bugfix so it fits) --- unicodedomino.sty | 3 --- unicodedomino_compat.def | 2 ++ 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/unicodedomino.sty b/unicodedomino.sty index acfb7ec..e3599f3 100644 --- a/unicodedomino.sty +++ b/unicodedomino.sty @@ -44,9 +44,6 @@ \ifx\UTFviii@decode\@undefined% \input{unicodedomino_kernel_better_decode.def}% \fi% -\ifx\UTFviii@hexcodepoint\@undefined% - \input{unicodedomino_kernel_fixup_f4.def}% -\fi% \input{unicodedomino_kernel_cosmetics.def}% % retrieve the last octet diff --git a/unicodedomino_compat.def b/unicodedomino_compat.def index 8e81e8c..f110a74 100644 --- a/unicodedomino_compat.def +++ b/unicodedomino_compat.def @@ -36,6 +36,8 @@ % added in v1.2e 2018/09/28 \ifx\UTFviii@hexcodepoint\@undefined% + % monkey-patch bugfixes + \input{unicodedomino_kernel_fixup_f4.def}% % override message to format the codepoint correctly \gdef\UTFviii@splitcsname#1:#2\relax{% #2 (\expandafter\UTFviii@hexcodepoint\expandafter{% -- GitLab