Merge pull request #4483 from WoltLab/search-exception
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 27 Aug 2021 11:32:51 +0000 (13:32 +0200)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 11:32:51 +0000 (13:32 +0200)
Add SearchFailed exception


Trivial merge