[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