Build #17 (Jun 18, 2019, 4:26:25 PM)

1. modified repo config (commit: 38f4770) (details)

Push event to branch feature/jena-3.11 at 4:26:18 PM on Jun 18, 2019

• refs/remotes/origin/feature/jena-3.11