Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 5 mo ago
Took 27 sec on default-agent-vzcwm

#22 (Nov 8, 2019, 10:47:38 AM)

PR #122: Remove xerces deps
Failed to determine (log)

GitHub pull request #122 of commit d23bb5b12e816d95680136ce97823ef30cdc0444, no merge conflicts.