[ghc-steering-committee] GHC Steering committee
Erik de Castro Lopo
erikd at mega-nerd.com
Thu Mar 20 01:21:23 UTC 2025
Simon Peyton Jones via ghc-steering-committee wrote:
> Colleagues
>
> Is email service to the GHC Steering Committee now working again? If not,
> it's a bit of a problem.
>
> If this message gets through, presumably it's working.
Yes, I received about 30 emails from this list overnight. Will not get
time to read them until this evening though.
Erik
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/
More information about the ghc-steering-committee
mailing list