[ghc-steering-committee] #392: Clarify modifiers design principle (recommendation: acceptance)

[Joachim Breitner]

Hi,

Am Donnerstag, dem 27.01.2022 um 13:28 +0000 schrieb Alejandro Serrano
Mena:
>  Two weeks instead of one have passed, and nobody has raised
> objections.
> 
> @Joachim: should I merge it, or are you the one doing that?
> 

just done.

Looks like you have successfully concluded the two PRs that were on
your plate when you announced your resignation. Is that still your plan
and we have to bid you farewell now?

Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/