From 89f7bbac9616406b3990b8608c17c542f5fb476d Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Mon, 24 Aug 2020 20:03:53 +0200 Subject: 2020-08-24 19:49:00 --- tex/generic/context/luatex/luatex-fonts-merged.lua | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'tex/generic') diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index f4b6fbb85..e33b426dc 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : c:/data/develop/context/sources/luatex-fonts-merged.lua -- parent file : c:/data/develop/context/sources/luatex-fonts.lua --- merge date : 2020-08-14 18:54 +-- merge date : 2020-08-24 19:46 do -- begin closure to overcome local limits and interference @@ -99,9 +99,6 @@ function optionalrequire(...) return result end end -if lua then - lua.mask=load([[τεχ = 1]]) and "utf" or "ascii" -end local flush=io.flush if flush then local execute=os.execute if execute then function os.execute(...) flush() return execute(...) end end @@ -10483,6 +10480,7 @@ end local hash={} local conc={} table.setmetatableindex(hash,function(t,k) + local v if k<0xD7FF or (k>0xDFFF and k<=0xFFFF) then v=f_single(k) else -- cgit v1.2.3