Started 5 days 17 hr ago
Took 2 hr 34 min on research-jenkins-worker-08

Success Build #11929 (Feb 13, 2019 10:12:11 PM)

PR #4047: Avoid exception of non asci...
No changes.

GitHub pull request #4047 of commit 9652380c9f65113b941899f0ec6ac8de289e9dd7 automatically merged.