Fri, 24 Apr 2020 10:03:40 +0200Merge svghmi
Edouard Tisserant [Fri, 24 Apr 2020 10:03:40 +0200] rev 2946
Merge