![[Jenkins]](/rdf4j/static/4979d7e8/images/headshot.png)
Started 10 days ago
Took 16 min
Build #95
(Nov 29, 2019 9:41:38 PM)
 | No changes. |
 | Started by user jeen.broekstra@gmail.com |
 | Revision: 6b679c5d603b35a14f141157eb6bb7423ed4d8ea
|