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