Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 7 mo ago
Took 1 min 37 sec on default-agent-j56p8

#19 (Sep 22, 2019, 1:12:34 PM)

PR #122: Remove xerces deps
No changes.

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