<html>

 <head>

  <meta content="text/html; charset=ISO-8859-1"

   http-equiv="Content-Type">

 </head>

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

  On 06/23/2012 03:08 PM, "Martin v. L&ouml;wis" wrote:

  <blockquote cite="mid:4FE63E63.1050306@v.loewis.de" type="cite">

   <pre wrap="">On 23.06.2012 23:41, Antoine Pitrou wrote:

</pre>

   <blockquote type="cite">

    <pre wrap="">Perhaps something more user-friendly than the hexversion?

</pre>

   </blockquote>

   <pre wrap="">Please propose something. I think the hexversion *is* user-friendly,

</pre>

  </blockquote>

  <br>

  +1 to the idea, and specifically to using hexversion here.&nbsp; (Though

  what will we do after Python 255.0?)<br>

  <br>

  <br>

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

 </body>

</html>