Started 8 days 10 hr ago
Took 2 hr 12 min on research-jenkins-worker-08

Success Build #11773 (Feb 11, 2019 4:20:18 AM)

PR #4016: .gitignore: Add vim swap files
No changes.

GitHub pull request #4016 of commit d9d4b5f6fec837d0393b859fe14b2c8e927e07fe automatically merged.