Commit 741f36fb authored by Michael Aaron Murphy's avatar Michael Aaron Murphy

Merge branch 'master' into 'master'

Incremental search and history browse change.

Closes #2

See merge request !10
parents 0ccda02d 9a569d15
Pipeline #1807 passed with stage
in 1 minute and 42 seconds