Tue, 03 Dec 2019 09:44:48 +0100Non significant changes, whitespaces, etc. svghmi
Edouard Tisserant [Tue, 03 Dec 2019 09:44:48 +0100] rev 2817
Non significant changes, whitespaces, etc.