
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <p><br>

    </p>

    <br>

    <div class="moz-cite-prefix">On 07/12/2018 07:57 AM, Guido van

      Rossum wrote:<br>

    </div>

    <blockquote type="cite"

cite="mid:CAP7+vJ+oK5q8a3kxizcbgUrrhwhOBbDj9VhSSNwZ0XgiOuBztQ@mail.gmail.com">

      <div dir="ltr">

        <div>I'll still be here, but I'm trying to let you all figure

          something out for yourselves. I'm tired, and need a very long

          break.<br>

        </div>

      </div>

    </blockquote>

    <br>

    Let me add my voice to the choir saying:<br>

    <ul>

      <li>I'm sorry you had such a miserable experience.</li>

      <li>I'm sad that you're retiring.Â  I was hoping we'd get a few

        more years out of you.<br>

      </li>

      <li>I wish you the very best in your retirement as BDFL.</li>

      <li>I hope you have a pleasant experience as a core dev and stick

        around for a good long while!<br>

      </li>

    </ul>

    <p><br>

    </p>

    <p><i>/arry</i><br>

    </p>

    <br>

  </body>

</html>