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