Wed, 03 Jun 2020 13:31:55 +0200merge svghmi
Edouard Tisserant [Wed, 03 Jun 2020 13:31:55 +0200] rev 2979
merge

Fri, 29 May 2020 09:46:07 +0200Merge svghmi
dgaberscek [Fri, 29 May 2020 09:46:07 +0200] rev 2978
Merge