From 5c2b71293e18ea7243ef103d3021165c0c1db806 Mon Sep 17 00:00:00 2001
From: mirabilos <m@mirbsd.org>
Date: Thu, 4 Oct 2018 17:17:12 +0200
Subject: [PATCH] update merge status
---
unicodedomino_kernel_cosmetics.def | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/unicodedomino_kernel_cosmetics.def b/unicodedomino_kernel_cosmetics.def
index 0ed6bdd..3a7de6b 100644
--- a/unicodedomino_kernel_cosmetics.def
+++ b/unicodedomino_kernel_cosmetics.def
@@ -20,8 +20,9 @@
}%
\fi%
-%: https://github.com/latex3/latex2e/pull/63
+%: merged
\ifx\UTFviii@hexcodepoint\@undefined%
+ %: reverted partially, need to override
% format a number as Unicode codepoint hex
\gdef\UTFviii@hexcodepoint#1{%
\ifnum#1<16 U+000%
--
GitLab