Hi all, I realize that this is the time of year when the northern hemisphere takes holidays, but this email may also just have been flagged as spam in Simon's email. Would appreciate it if anyone might be able to provied a clue here. Thanks, Erik Begin forwarded message: Date: Mon, 24 Aug 2026 19:22:47 +1000 From: Erik de Castro Lopo <erikd@mega-nerd.com> To: Simon Marlow <marlowsd@gmail.com> Subject: Re: [ghc-steering-committee] Please review #678: Amendment to ImportShadowing Hi Simon, I understand that you are currently secretary. Does the Google spreadsheet where the acceptances were recorded still exist? If so please provide me with a link. Thanks, Erik Erik de Castro Lopo wrote:
Hi all,
With regards to this I have seen acceptance recommendations from
Malte Ott, Jaro Reinders, Adam Gundry, Sebastian Graf, Matthías Páll Gissurarson and myself.
Hope I have not missed anyone. Anybody else like to accept?
There used to be a Google spreadsheet where the acceptances were recorded. Does that still exist? Is there a new way acceptances are recorded?
Thanks, Erik
Erik de Castro Lopo via ghc-steering-committee wrote:
Hi all,
In regards to the "Amend Import Shadowing proposal to match Haskell 2010 section 5.2.5" proposal:
https://github.com/ghc-proposals/ghc-proposals/pull/678
This went back into review because there was still a lot of chatter on it. This chatter has completely died out after Simon PJ's input was incorporated.
I have recommended that we accept this minor modification of this proposal. I would appreciate it if everyone else on the committee would vote.
Thanks, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ _______________________________________________ ghc-steering-committee mailing list -- ghc-steering-committee@haskell.org To unsubscribe send an email to ghc-steering-committee-leave@haskell.org
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/
-- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/