[checkmk-commits] Check_MK Git: check_mk: #1557 FIX Fix sorting of hostnames that only differ in lower/ uppercaseness