Completed
Push — master ( a2b142...faae04 )
by Florian
01:30
created

No notable changes

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

9.82
▶   ± 0
Test Coverage
100%
▶ ±0%
Head
Florian Eckerstorfer  
Fix PHPDoc for filter()
Base
Florian Eckerstorfer  
Merge pull request #17 from gries/find-method