Completed
Push — master ( 7b60b2...17bd28 )
by
unknown
38s queued 23s
created

Changes

2 new patches (Braces, Spacing) are available.
3.89
▶   ± 0
Head
Alexander Bigga  
Merge pull request #603 from albig/fix-559
6 more commits
Base
Sebastian Meyer  
Merge pull request #588 from beatrycze-volk/search-highlight-word