Build #5 (Nov 17, 2018 5:03:36 PM)

1. Fix git config to use right committer information (#70) (detail / githubweb)

Started by user Jochen Hiller

• origin/master