Completed
Push — master ( 130388...d4fb1f )
by
unknown
05:50 queued 01:14
created

No notable changes

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

9.51
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jonas Kress  
Merge pull request #580 from wmde/filterNames
1 more commit
Base
Jeroen De Dauw  
Merge pull request #585 from wmde/snakRoleInterface