[checkmk-commits] [tribe29/checkmk] 77eef1: Use official GNU server. Tiny cleanup.