From e2572c8681dd7d458023f81085800ab4f09b3a40 Mon Sep 17 00:00:00 2001 From: mirabilos <m@mirbsd.org> Date: Sun, 5 Aug 2018 23:34:14 +0200 Subject: [PATCH] mark when feature was added --- unicodedomino_compat.def | 1 + 1 file changed, 1 insertion(+) diff --git a/unicodedomino_compat.def b/unicodedomino_compat.def index 1beff18..a581c2a 100644 --- a/unicodedomino_compat.def +++ b/unicodedomino_compat.def @@ -20,6 +20,7 @@ %- % Compatibility code with older utf8.def versions +% added in v1.2a 2018/03/24 \ifx\UTFviii@invalid@help\@undefined% \def\UTFviii@invalid@help{% Do ensure the source document is saved in UTF-8 encoding% -- GitLab