[ghc-steering-committee] GHC Steering Committee Status

[Eric Seidel]

On Thu, Mar 16, 2023, at 09:59, Joachim Breitner wrote:

> #540: jsem parallelism semaphores, Shepherd: Eric 
>       2022-11-08: Assigned to Adam
>       2022-11-17: Re-assigned to Eric
>       2023-02-12: Eric recommends acceptance
>       Lots of discussion on the list and on Github.
>       Is this near conclusion, or should it go back to revision?

I think this one is basically good to merge. Simon PJ had asked for a couple clarifications to the text, which the authors just did. I'll pinged Simon just now to review the edits, and then we should be set.