Le 02/10/2020 à 19:53, Yuriy Skalko a écrit : > Here is an updated patch. > > Yes, there are more places to add the `override`. I'll try to change the > rest on the second step. Is it OK to commit the patch in its current state? Thanks a lot. It is in now. JMarc