Tue, 22 Dec 2020 14:57:59 +0100Merged default in svghmi branch svghmi
Edouard Tisserant [Tue, 22 Dec 2020 14:57:59 +0100] rev 3096
Merged default in svghmi branch