Commit 526060e1 authored by Lauri Himanen's avatar Lauri Himanen
Browse files

Small updates to the search options.

parent bdffb455
Pipeline #84690 skipped with stage