Completed
Push — master ( 08de92...05461e )
by
unknown
39s queued 14s
created

Changes

2 new patches (Spacing) are available.
???
Head
jenkins-bot  
Merge "Replace distinct-values SPARQL queries"
1 more commit
Base
jenkins-bot  
Merge "Add type declaration to interface ConstraintChecker and implementation"