Branch: refs/heads/master
Home:
https://github.com/tribe29/checkmk
Commit: 93bf4eb808f6601c166e242e38ad312ecf2a2cdb
https://github.com/tribe29/checkmk/commit/93bf4eb808f6601c166e242e38ad312ec…
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