<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Thank you for your contribution, I have added this to 'master-pu'<br>
    <br>
    <div class="moz-cite-prefix">On 11/28/2012 02:11 PM, José Valim
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAGnRm4L7yBjKKKARZ42NaOQ+Q9ug+1LBAqRj5_efnr_dNWSygQ@mail.gmail.com"
      type="cite">
      <div>into maint. :)</div>
      <div><br>
      </div>
      <div>git fetch git://<a moz-do-not-send="true"
          href="http://github.com/josevalim/otp.git">github.com/josevalim/otp.git</a>
        cover-patches</div>
      <div><br>
      </div>
      <div><a moz-do-not-send="true"
          href="https://github.com/josevalim/otp/compare/cover-patches">https://github.com/josevalim/otp/compare/cover-patches</a></div>
      <div><a moz-do-not-send="true"
          href="https://github.com/josevalim/otp/compare/cover-patches.patch">https://github.com/josevalim/otp/compare/cover-patches.patch</a></div>
      <div><br>
      </div>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
/Henrik Nord Erlang/OTP</pre>
  </body>
</html>