<html><body><div dir="ltr">
    <br><br>
    <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">El 27 ene 2022 20:34:16, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> escribió:<br></div>
        <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite">
            
<div>
<div>
    Hi,<br><br>Am Donnerstag, dem 27.01.2022 um 13:28 +0000 schrieb Alejandro Serrano<br>Mena:<br><blockquote type="cite">  Two weeks instead of one have passed, and nobody has raised<br></blockquote><blockquote type="cite"> objections.<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> @Joachim: should I merge it, or are you the one doing that?<br></blockquote><blockquote type="cite"> <br></blockquote><br>just done.<br><br>Looks like you have successfully concluded the two PRs that were on<br>your plate when you announced your resignation. Is that still your plan<br>and we have to bid you farewell now?<br></div></div></blockquote><div class="gmail_quote"><br></div><div class="gmail_quote" dir="ltr">Unfortunately the world hasn’t changed enough in this time for me to have the required free time, so I still think that’s the best outcome for me. But hey, maybe in a few years time I’ll be asking to be part of the Committee again!</div><div class="gmail_quote" dir="ltr"><br></div><div class="gmail_quote" dir="ltr">Regards,</div><div class="gmail_quote" dir="ltr">Alejandro</div><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite"><div><div><br>Cheers,<br>Joachim<br>-- <br>Joachim Breitner<br>  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>  <a href="http://www.joachim-breitner.de/">http://www.joachim-breitner.de/</a><br><br>_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</div>
</div>
        </blockquote>
    </div>
</div></body></html>