Completed
Push — master ( b3b9b7...a21c40 )
by Jeroen De
08:07 queued 05:54
created

No notable changes

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

8.19
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #32 from wmde/release100
1 more commit
Base
Jeroen De Dauw  
Merge pull request #30 from wmde/phpv