<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>