[checkmk-commits] Check_MK Git: check_mk: Fixed minor bug in werk tool (grep)