Le 30/12/2018 à 22:05, Dr Eberhard Lisse a écrit :
Should I raise a bug on the tracker for this?
Yes please. I guess we should skip everything ERT. JMarc
Le 30/12/2018 à 22:05, Dr Eberhard Lisse a écrit :
Should I raise a bug on the tracker for this?
Yes please. I guess we should skip everything ERT. JMarc