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.

Reply via email to