Customization ctests now failing on master

[Jean-Pierre Chrétien]

Le 12/08/2023 à 12:43, Jürgen Spitzmüller a écrit :

> 
> I think the approach is sane enough. Since we haven't heard many
> reports about this bug recently, the case seems to be rather seldom (I
> suppose French users avoid prettyref).
> 

Thanks for solving this issue, Jürgen.
I think that there are not many prettyref users in general, since refstyle is 
much more powerful.

-- 
Jean-Pierre