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