[checkmk-commits] [tribe29/checkmk] 8eeb24: 11674 Developer option: --plugins