From cfda033784168c9087ffe1d899c978590c62b92e Mon Sep 17 00:00:00 2001 From: mirabilos <m@mirbsd.org> Date: Tue, 12 Nov 2019 18:54:05 +0100 Subject: [PATCH] update actual merge date --- unicodedomino_compat.def | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unicodedomino_compat.def b/unicodedomino_compat.def index bedde48..8e81e8c 100644 --- a/unicodedomino_compat.def +++ b/unicodedomino_compat.def @@ -34,7 +34,7 @@ }% \fi% -% added in v1.2e 2018/09/30(?) +% added in v1.2e 2018/09/28 \ifx\UTFviii@hexcodepoint\@undefined% % override message to format the codepoint correctly \gdef\UTFviii@splitcsname#1:#2\relax{% -- GitLab