Thanks @rmartin. This in principle is already solved in the new release we plan to do tomorrow, eventually fixing also the crashes you kindly reported some time ago.
Thanks @rmartin. This in principle is already solved in the new release we plan to do tomorrow, eventually fixing also the crashes you kindly reported some time ago.