summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2021-09-17 10:09:54 +0200
committerContext Git Mirror Bot <phg@phi-gamma.net>2021-09-17 10:09:54 +0200
commitd5e2ac5f857f2a003949fce54ed41eedc4fb9475 (patch)
tree5407199d3d6ec192cd4f0fa036cf797b0e29fdc4 /doc
parent51bc89e03d05e3329b2ef74de2720937f92aa81f (diff)
downloadcontext-d5e2ac5f857f2a003949fce54ed41eedc4fb9475.tar.gz
2021-09-17 10:01:00
Diffstat (limited to 'doc')
-rw-r--r--doc/context/sources/general/manuals/luametatex/luametatex.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/context/sources/general/manuals/luametatex/luametatex.tex b/doc/context/sources/general/manuals/luametatex/luametatex.tex
index 71c6f997f..005bd9418 100644
--- a/doc/context/sources/general/manuals/luametatex/luametatex.tex
+++ b/doc/context/sources/general/manuals/luametatex/luametatex.tex
@@ -56,13 +56,14 @@
% amd 10 fitlet : 28.2
% 20210812 : 298 pages
-%
% mingw : 9.7
% 20210903 : 300 pages
-%
% mingw : 9.6
+% 20210916 : 300 pages
+% mingw : 9.4 (9.25 with LTO, 9.75 native)
+
% But speed can differ a bit per compilation (upto .5 seconds maybe due to how
% compiled code is organized which might influence caching. Who knows ... (or
% cares). For instance at 20200407 I measured 10.9 seconds after some new low level