Dear Gitlab users, as announced previously (and here), we will be downgrading this Gitlab instance delayed to the Community edition on Thursday, 25.08.22, at 5 pm. You may ignore the (upcoming) banner below displayed by Gitlab.
doc: rename the search key pair.
4 jobs
for fix/#391-multiple-search
in
6 minutes and 50 seconds
(queued for 1 second)