<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <div class="moz-cite-prefix">On 09/10/15 10:12, Eneko Gotzon wrote:<br>
    </div>
    <blockquote
cite="mid:CAEV4i4VC-2_gEy8VLDYDxQLUx2djvBaaJ8urXZ+qAJRjh1N9Wg@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <div dir="ltr">
        <div class="gmail_extra"><br>
          <div class="gmail_quote">On Thu, Oct 8, 2015 at 11:50 PM,
            Dominik Reichardt <span dir="ltr">&lt;<a
                moz-do-not-send="true" href="mailto:domiman@gmail.com"
                target="_blank"><a class="moz-txt-link-abbreviated" href="mailto:domiman@gmail.com">domiman@gmail.com</a></a>&gt;</span> wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">14
              is a higher number than 2, so 2.8.14 is newer than 2.8.2</blockquote>
          </div>
          <br>
          Oh my God! What kind of Cosmic Stupid I am…!</div>
        <div class="gmail_extra"><br>
        </div>
        <div class="gmail_extra">Please, excuse me and don't throw me,
          as deserved, out of this wonderful list.<br>
          <br clear="all">
          <div>I misunderstood the numbering ("2.8.2 &gt; 2.8.1[4]").<br>
          </div>
          <div><br>
          </div>
          <div>Sorry about the noise : /</div>
          <div><br>
          </div>
          <div>I'm not but a primate trying to use a computer… : /</div>
          <br>
        </div>
      </div>
    </blockquote>
    I don't know, you seem to be doing string comparisons, so I guess
    you have some knack for understanding how computers "think" :)<br>
    <br>
    Russell<br>
  </body>
</html>