Re: [ghc-steering-committee] GHC Steering Committee Status

On Nov 27, 2022, at 6:10 AM, Joachim Breitner wrote:

#522: Or Patterns 2022-08-08: Assigned to Richard 2022-08-19: Richard recommends acceptance 2022-10-18: Last message Richard, is this discussion converging?

Yes, it converged! Please mark as accepted. This one fell off my radar, sorry. Richard