Re: [ghc-steering-committee] #409: Exportable named defaults, Recommendation: Accept

Hi, Am Donnerstag, dem 19.08.2021 um 08:25 -0500 schrieb Eric Seidel:

Any objections?

not from me :-) -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/