Klugier Messages: 1075 Registered: September 2012 Location: Poland, Kraków
Senior Contributor
Hello Mirek,
The crash is no longer observer - thanks for fixing this issue. Tomorrows nightly (21.06.2019) should not be affected by this bug and TheIDE should be stable as before.