Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 5fbe4aa6998b1cc3fe5c161f9bb665116a8ffd87 https://github.com/tribe29/checkmk/commit/5fbe4aa6998b1cc3fe5c161f9bb665116… Author: Sven Panne <sven.panne(a)tribe29.com> Date: 2021-05-31 (Mon, 31 May 2021) Changed paths: M cmk/gui/watolib/search.py Log Message: ----------- Fixed type error. No idea why our mypy job didn't complain, pylsp's mypy plugin *does* complain. Change-Id: I13d4f57e8b1841b1fee144f74cb4dfbd535068e1