Le 03/05/2017 à 10:44, Kornel Benko a écrit :
Testing manually, I see, that replace is not working. (E.g. findadv does not find anything) Hm, test passes after reverting also 3610cdf66944dc790e2e3df666e99f33c45b1ede
Yes, this is much less surprising than to two other commits. JMarc
