Completed
Push — master ( 071f1c...45a9e8 )
by Jeroen De
14:03 queued 11:00
created

No notable changes

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

8.66
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #86 from wmde/remove-covers-validator
1 more commit
Base
Jeroen De Dauw  
Merge pull request #89 from wmde/fix-ci