[checkmk-commits] [tribe29/checkmk] a7bdfe: 12941 FIX REST API: convert known host attributes ...