Build #1665:   Merge branch 'master' into ped-master * master: (117 commits) Fix #280: negative wor... on branch ped-master 8 months ago