Re: [ghc-steering-committee] #380 GHC2021: Current status

On Thu, Dec 3, 2020, at 04:31, Joachim Breitner wrote:

Dear Committee,

we have 9 votes in. Dear Cale and Eric, can we have your votes please?

Sorry! I'll get them in tonight.