<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p style="margin-top:0;margin-bottom:0"><a href="https://mail.python.org/pipermail/python-committers/2018-July/005664.html" class="OWAAutoLink" id="LPlnk985183">https://mail.python.org/pipermail/python-committers/2018-July/005664.html</a></p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0"><a href="https://mail.python.org/pipermail/python-committers/2018-July/005664.html" class="OWAAutoLink" id="LPlnk985183">Enrico</a><br>
</p>
</div>
</body>
</html>