Hi Julien, On Tue, Jun 06, 2017 at 09:43:22PM +0200, Julien Yann Dutheil wrote: > Thanks a lot for your answers. I understand. We will increase the interface > number.
Thanks. > Is it ok to move the release tag on the git repository or is it > better to make a new (distinct) one? Please use a new release tag. There might be other people who have downloaded the current one and will not realise the fix you are intending to do. Kind regards Andreas. -- http://fam-tille.de