Completed
Pull Request — master (#91)
by Jeroen De
07:30
created

No notable changes

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

8.66
▶   ± 0
Head
Jeroen De Dauw  
Merge c745461766226c8e7d3b211fb75a5742bc0830a5 into 071f1c295b87367805e9d7bd7f3420fe8434d591
1 more commit
Base
Jeroen De Dauw  
Merge pull request #89 from wmde/fix-ci