Completed
Push — master ( 1e6235...b6b9a6 )
by Michael
04:48
created

No notable changes

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

6.38
▶   ± 0
Head
Michael Hamann  
Merge pull request #1456 from splitbrain/runawayprotect
1 more commit
Base
Andreas Gohr  
Merge pull request #1351 from mariusvw/full-text-search