SVGHMI: More build time optimization : def_by_label now takes far less time.
svghmi
2021-02-24, Edouard Tisserant