RELEASE NOTESRelease 0.20.1November 9, 2020 Release notesMinor bugfixes.Various optimizations to improve the platform performances.« 0.20.00.21.0 »