
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

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

    <div class="moz-cite-prefix">Reinhard Kotucha wrote:<br>

      <br>

    </div>

    <blockquote type="cite"

      cite="mid:24367.12012.731583.119707@gargle.gargle.HOWL">

      <pre wrap="">On 2020-08-08 at 15:19:20 -0600, Karl Berry wrote:


 > [...] but that's clearly not what the OP was asking about.


Don't worry.  The OP didn't receive any response anyway.</pre>

    </blockquote>

    <br>

    Untrue, Reinhard — at last three of my replies went direct to Tianyi

    Chen.<br>

  </body>

</html>