RELEASE NOTESRelease 0.18.4July 23, 2020 Release notesMinor bugfixes.Various optimizations to improve the platform performances.« 0.18.30.18.5 »