[checkmk-commits] [tribe29/checkmk] de58f7: 13933 FIX missing Theme in REST API