From: François Fleuret <francois@fleuret.org>
Date: Fri, 16 Jun 2023 14:50:51 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=c7b7f15232cb5507793ef9fbe5bbb3084ea88346;hp=c7b7f15232cb5507793ef9fbe5bbb3084ea88346;p=tex.git

Update.
---