[checkmk-commits] [Checkmk/checkmk] 25f2df: Fix GUI crawler again