Marius Bakke <mar...@gnu.org> skribis: > This is because it was added (on 'master') after the big TeX Live update > in 85892948bd9fb5fcc3409a60204cc8b14a4eb030 (on 'core-updates'), thus > the hash was never adjusted for the new TeX revision. > > Fixed in 37465b5be0324d9c953408fe88e2509ad0891712, thanks!
Thank you for the quick fix! Ludo’.
