From f62598bc41b14096e5d824563f35fb0cba973b4f Mon Sep 17 00:00:00 2001 From: mirabilos <m@mirbsd.org> Date: Thu, 4 Oct 2018 18:05:31 +0200 Subject: [PATCH] irrelevant in that position --- unicodedomino_kernel_cosmetics.def | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unicodedomino_kernel_cosmetics.def b/unicodedomino_kernel_cosmetics.def index f6c0592..e2148c5 100644 --- a/unicodedomino_kernel_cosmetics.def +++ b/unicodedomino_kernel_cosmetics.def @@ -3,7 +3,7 @@ % See unicodedomino.sty for copyright and licence terms. Furthermore % this file is dual-licenced under the LPPL version 1.3c or later. %- -% Improve error and warning formatting. Fully submitted upstream. +% Improve error and warning formatting. %: https://github.com/latex3/latex2e/pull/82 \ifx\UTFviii@hexbyte\@undefined% -- GitLab