Branch: refs/heads/2.0.0 Home: https://github.com/tribe29/checkmk Commit: 30611af68033de5957fa3adbb7752c29e726199b https://github.com/tribe29/checkmk/commit/30611af68033de5957fa3adbb7752c29e… Author: Joerg Herbel <joerg.herbel(a)tribe29.com> Date: 2021-07-17 (Sat, 17 Jul 2021) Changed paths: M cmk/gui/watolib/search.py Log Message: ----------- Tiny typing improvement in search index code Change-Id: I1d8ebb341f3c5f4d03517b25d5c6bb4debb05fb1