Hi, >outside the DHG (such as hedgewars-server, git-annex, pandoc) have hedgewars-server is fixed in git, no issues from my side >Any objections? None from my side :) We have 3 months to fix stuff, having ghc 8 might be really nice :) G.