+ fixes #0001393: Allow the user to set desired font size in pixels (used by sketcher constraints) in preferences
Merge branch 'master' of ssh://git.code.sf.net/p/free-cad/code