Release 0.18.5July 28, 2020 Product Updates Ordinary maintenanceMinor bugfixes.Various optimizations to improve the platform performances.