Thu, 25 Feb 2021 11:22:10 +0100merged svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 25 Feb 2021 11:22:10 +0100] rev 3164
merged

Wed, 24 Feb 2021 09:37:00 +0100Merge changes from default into svghmi branch svghmi
Edouard Tisserant [Wed, 24 Feb 2021 09:37:00 +0100] rev 3163
Merge changes from default into svghmi branch

Wed, 24 Feb 2021 15:36:37 +0100SVGHMI: More build time optimization : def_by_label now takes far less time. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 24 Feb 2021 15:36:37 +0100] rev 3162
SVGHMI: More build time optimization : def_by_label now takes far less time.