Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 01 Oct 2021 23:19:04 +0200] rev 3328
Dropped SVGUI, deprecated and replaced by SVGHMI. Transformed traffic_lights exemple so that it uses SVGHMI instead.
Edouard Tisserant <edouard.tisserant@gmail.com> [Fri, 01 Oct 2021 17:44:52 +0200] rev 3327
Merge from default