<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html;

      charset=windows-1252">

  </head>

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

    <div class="moz-cite-prefix">Siep Kroonenberg wrote:<br>

      <br>

    </div>

    <blockquote type="cite" cite="mid:20200425081115.GA1287@bitmuis.nl">

      <pre wrap="">Browser-style shortcuts added in r54861. Should be available today

or tomorrow on most mirrors.

</pre>

    </blockquote>

    <br>

    Excellent news, will report back once available and tested.<br>

    <i>Philip Taylor</i><br>

  </body>

</html>