Sept. 16, 2018
8:45 a.m.
Ok, thanks for the tip. Hilaire Le 16/09/2018 à 00:02, Juraj Kubelka via Pharo-users a écrit :
We are aware of this issue. Current workaround is to save and then quit without saving.
-- Dr. Geo http://drgeo.eu