Completed
Pull Request — master (#120)
by Jeroen De
09:31 queued 05:57
created

No notable changes

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

9.18
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Marius Hoch  
Merge pull request #120 from wmde/updomain
1 more commit
Base
Leszek Manicki  
Merge pull request #117 from wmde/fixcs