<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Thank you for your contribution!<br>
Patch included in 'pu'<br>
<br>
On 02/20/2012 01:59 PM, José Valim wrote:
<blockquote
cite="mid:CAGnRm4+5xKVkbJ6acvM=yZBxqZvxvfT1nN98bA4_4W_1mUV6GQ@mail.gmail.com"
type="cite">Realized the patch above was not from maint. So here
we go again:
<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>
on_load_docs_maint<br>
<div><br>
</div>
<div>
<a moz-do-not-send="true"
href="https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint">https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint</a></div>
<div><a moz-do-not-send="true"
href="https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint.patch">https://github.com/josevalim/otp/compare/erlang:maint...josevalim:on_load_docs_maint.patch</a></div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
erlang-patches mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-patches@erlang.org">erlang-patches@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-patches">http://erlang.org/mailman/listinfo/erlang-patches</a>
</pre>
</blockquote>
<br>
<pre class="moz-signature" cols="72">--
/Henrik Nord Erlang/OTP</pre>
</body>
</html>