Completed
Push — master ( ef38e3...669e9a )
by
unknown
16s queued 12s
created

Changes

1 new patch (Spacing) is available.
3.92
▶   ± 0
Head
Sebastian Meyer  
Merge pull request #503 from erik-konrad/master
24 more commits
Base
Sebastian Meyer  
Merge pull request #513 from albig/enhance-search-in-document-2