Wed, 02 Dec 2020 14:30:58 +0100SVGHMI: more attempts to prevent losing memory in JS closure svghmi
Edouard Tisserant [Wed, 02 Dec 2020 14:30:58 +0100] rev 3081
SVGHMI: more attempts to prevent losing memory in JS closure