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

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

Started by user Jochen Hiller

• origin/master