Started 1 mo 21 days ago
Took 7.1 sec on research-jenkins-worker-08

Success Build #198 (Sep 30, 2019 9:15:20 AM)

PR #190: Use private field visibilit...
No changes.

GitHub pull request #190 of commit 763f6aad5aeb7bb30f37baf3d807fd3da03a2631 automatically merged.