Completed
Pull Request — master (#192)
by Jeroen De
08:49 queued 06:18
created

No notable changes

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

9.86
▶   ± 0
Head
Jeroen De Dauw  
Merge 05dd31efbafc691208980105298cab715df2ca5c into e35b88079b970a808ab59ad3e7dc084973283249
1 more commit
Base
Jeroen De Dauw  
Merge pull request #191 from wmde/release210