#305 Configure git committer.
Merged by ralph. Opened by ralph.
git-config  into  master

Download 305.patch

It looks like the git commit line is failing in Jenkins due to something about
being unable to determine the email address. Hopefully, setting it explicitly
here will help.

Commit dbdff655 fixes this pull-request

Pull-Request has been merged by ralph

Pull-Request has been merged by ralph

Metadata