RELEASE NOTESRelease 0.18.5July 28, 2020 Release notesMinor bugfixes.Various optimizations to improve the platform performances.« 0.18.40.18.6 »