Juan Pablo Ugarte wrote on Thu, 25 May 2017 17:08:53 -0300: > My guess is that we would have to announce it in a last release and > update the corresponding text files in the repository. Anything new? Ingo