
11 Nov
2022
11 Nov
'22
3:37 p.m.
On Nov 8, 2022, at 4:07 AM, Simon Peyton Jones
wrote: (Who, if anyone, is the moderator of the ghc-steering-committee mailing list?)
I am. But perhaps it would be good to add a second moderator as well. Workload is very low -- maybe 1-2 requests per month, 90% of which are spam. I am happy to continue in this role, but there may be delays in delivery. Richard