<html>

  <head>

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

  </head>

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

    <div class="moz-cite-prefix">On 09/24/2014 08:04 AM, Victor Stinner

      wrote:<br>

    </div>

    <blockquote

cite="mid:CAMpsgwbRgyTXFRiX5K4=KZkskEs6u3jqwGry2MTuPE9FofFDmQ@mail.gmail.com"

      type="cite">

      <pre wrap="">It was too distrubing to read "3.4" in the "3.5" schedule. I modified

the PEP directly, sorry Larry.

</pre>

    </blockquote>

    <br>

    No sweat.  I would have fixed it myself, but yesterday was a big

    travel day.<br>

    <br>

    Thanks for fixing it!<br>

    <br>

    <br>

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

  </body>

</html>