diff options
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
| -rw-r--r-- | Build/source/texk/web2c/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 647845d18c0..bdb80f5f60a 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,9 @@ +2019-07-10 Karl Berry <karl@freefriends.org> + + * patgen.ch (trie_size), + (trie_size): reduce again to 76,000,000 and 38,000,000, + per Johannes Hielscher, 10 Jul 2019 00:00:03. + 2019-06-26 Karl Berry <karl@freefriends.org> * configure.ac (KPSE_ICU_FLAGS, KPSE_GRAPHITE2_FLAGS) [xetex], |