[checkmk-commits] [tribe29/checkmk] 834d5e: Fix version of werk 13252 (p11 -> p12)