[GitHub] jena pull request #454: JENA-1583: Rule system: Util.compare

2018-08-05 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/jena/pull/454 ---

[GitHub] jena pull request #454: JENA-1583: Rule system: Util.compare

2018-08-03 Thread afs
GitHub user afs opened a pull request: https://github.com/apache/jena/pull/454 JENA-1583: Rule system: Util.compare You can merge this pull request into a Git repository by running: $ git pull https://github.com/afs/jena rule-util Alternatively you can review and apply