Le 17/02/2018 à 14:02, José Abílio Matos a écrit :
How about the following patch?

What happens if the format is not from a released version? In this case, we would like to keep the old naming IMO. I am not sure what your code intends to do in this case.

JMarc

Reply via email to