Am Di., 14. Feb. 2023 um 22:06 Uhr schrieb Jean Abou Samra <j...@abou-samra.fr>: > > Le mardi 14 février 2023 à 19:55 +0100, Craig Fearing a écrit : > > The attached file is a minimized version of an official snippet. > > > > If run as version 2.25.*0* it compiles perfectly. > > > > If run as version 2.25.*1* it fails. > > The snippet comes from LSR and is not tagged as a doc snippet, > therefore it's not an official snippet. LSR is kept at 2.24, > it will be updated to 2.26 when that's released.
Jean beats me :) Anyway, I applied a fix. Now working for all mentioned versions. https://lsr.di.unimi.it/LSR/Snippet?id=969 Cheers, Harm
