<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Yes.<br>
    <br>
    <div class="moz-cite-prefix">On 10/25/2012 12:50 PM, Rainer Schuetze
      wrote:<br>
    </div>
    <blockquote cite="mid:5089981D.6030508@gmx.de" type="cite">
      <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
      <div class="moz-cite-prefix"><br>
        Not that much:
        <a moz-do-not-send="true" class="moz-txt-link-freetext"
href="https://github.com/rainers/dmd/commit/e867c1a637530578d27c9e40d35674a56d2a10b6">https://github.com/rainers/dmd/commit/e867c1a637530578d27c9e40d35674a56d2a10b6</a><br>
        Make it a pull request?<br>
      </div>
    </blockquote>
    <br>
  </body>
</html>