Le 02/06/2018 à 20:05, Tobias Boege a écrit : > Hi, > > could it be that the VERSION file was forgotten in the release wave > around 3.11? It was. I have just fixed it. -- Benoît Minisini