Mon, 01 Mar 2021 15:46:23 +0100 Edouard Tisserant SVGHMI: Make build log less redundant, and refactor progress information code a bit, to make it also a bit less redundant. svghmi