RELEASE NOTESRelease 0.20.0October 1, 2020 Release notesMinor bugfixes.Various optimizations to improve the platform performances.« 0.19.00.20.1 »