Dear GHC Devs,of course it would have been too good if everything was fine - it looks like the `ghc/ghc` repo currently does not update when pushing to it. I'm hoping to resolve this.
Best Magnus _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
