Completed
Push — master ( 5742ff...0c6c1e )
by
unknown
02:15
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.76
▶   ± 0
Head
Jeroen De Dauw  
Merge "Introduce rank in constraint suggester"
1 more commit
Base
jenkins-bot  
Merge "Move ResultsSource to services"