[checkmk-commits] [Checkmk/checkmk] 8822dc: Make gui-crawler happy again