Build #15 (Jun 18, 2019, 4:06:28 PM)

1. Changed release profile name (commit: 8bd6152) (details)

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

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