[checkmk-commits] Check_MK Git: check_mk: Dashboard header can now be hidden by setting " title" to None