<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <br>
    <br>
    <div class="moz-cite-prefix">On 01/10/2019 01:07 PM, Achim Gratz via
      devel wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:8736q049id.fsf@Rainer.invalid">
      <blockquote type="cite">
        <pre wrap="">What's the Issue number?
</pre>
      </blockquote>
      <pre wrap="">
Dunno… I reported it on this list, I'm not on GitLab.
</pre>
    </blockquote>
    <br>
    Was it #437?<br>
    <blockquote type="cite" cite="mid:8736q049id.fsf@Rainer.invalid">
    </blockquote>
    <br>
    <div class="moz-signature">-- <br>
      <i>"In the end; what separates a Man, from a Slave? Money? Power?
        No. A Man Chooses, a Slave Obeys."</i> -- Andrew Ryan
      <p>
        <i>"Utopia cannot precede the Utopian.
          It will exist the moment we are fit to occupy it."</i> --
        Sophia Lamb
      </p>
      <p>
        I work for the <a href="https://icei.org/">Internet Civil
          Engineering Institute</a>, help us save the Internet from
        Entropy!
      </p>
    </div>
  </body>
</html>