Completed
Push — master ( 9c8682...b735c6 )
by
unknown
17s queued 14s
created

Changes

1 new patch (Braces) is available.
5.47
▶   ± 0
Head
Sebastian Meyer  
Merge pull request #827 from sebastian-meyer/issue-822
6 more commits
Base
Sebastian Meyer  
Merge pull request #847 from dvoracek-slub/pr-fix-testcase-search