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