Build #286 (Sep 16, 2020, 4:05:09 PM)

1. switch to StreamRDF for request logging (commit: 6802baf) (details / githubweb)

Started by GitHub push by SimonBin

• refs/remotes/origin/develop