Started 2 mo 6 days ago
Took 20 min on research-jenkins-worker-07

Success Build #1079 (Feb 12, 2019 11:23:18 AM)

PR #637: Vastly simplify the set of ...
No changes.

GitHub pull request #637 of commit 11ff18f7fea41fb7e12387dac41ecf7c0beb7b61 automatically merged.