Commit font
Correction as per comment to PR#43.
Merge pull request #43 from gitextensions/jb/update/2.47

Commit font