[checkmk-commits] [Checkmk/checkmk] d039c4: remove dev_server