Default to AND for searches
This matches much more closely what we're used to from something like
google.
Description
Description
Details
Details
- Committed
cmollekopf Jan 3 2019, 9:52 PM - Parents
- R9:7f2d287855f7: Fixed pipelinetest
- Branches
- Unknown
- Tags