Completed
Pull Request — master (#582)
by no
17:45 queued 11:48
created

No notable changes

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

9.51
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Thiemo Mättig  
Merge 570d93dd5c43c68c1613aee1c496cbe49a49d4f9 into d4fb1fec5b9e108a3b54aab65483e5f74d2bc7d0
1 more commit
Base
Jonas Kress  
Merge pull request #580 from wmde/filterNames