Changes pushed with changeset 1512ddaf1909d149c80817d78c53e5d014aac223
User
Push date [To Local]
ChangesetPatch author — Commit message
franziskuskiefer@gmail.com
Thu Oct 05 08:01:43 2017 +0000
1512ddaf1909d149c80817d78c53e5d014aac223Franziskus Kiefer — close RDF_BRANCH_060398 RDF_BRANCH_060398