Le 12/03/2022 à 12:28, Kornel Benko a écrit : > Deserves an entry in ctests-costs-benefits.txt IMO. Indeed it does. This bug would have been identified sooner or later, but sooner is definitely better. JMarc