Completed
Push — master ( 1b66fc...f5279b )
by
unknown
15:52
created

No notable changes

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

9.51
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Marius Hoch  
Merge pull request #594 from wmde/nullTypes
1 more commit
Base
Thiemo Mättig  
Merge pull request #572 from wmde/covers