Le 20/07/2019 à 20:35, Kornel Benko a écrit :
I think that would be fine and, potentially, save some hassle.Riki+1 for doing it as soon as possible (now?) I will take care for the cmake part.
I have done it now. The cmake part should not be too difficult considering what I had to do.
JMarc
