Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: c11c35d39bdc8bb9b6801ca2a4383681dd3550bc https://github.com/tribe29/checkmk/commit/c11c35d39bdc8bb9b6801ca2a4383681d… Author: Joerg Herbel <joerg.herbel(a)tribe29.com> Date: 2020-10-14 (Wed, 14 Oct 2020) Changed paths: M cmk/gui/watolib/search.py Log Message: ----------- Split search index for setup menu into multiple sub-indices CMK-5867 Change-Id: I81744bbdd60c253917c080b32a141e1bae2d4bff