<div dir="ltr">hrm, <div><br></div><div>You mean :<div><br></div><div><a href="https://github.com/erlang/otp/pull/372">https://github.com/erlang/otp/pull/372</a> ?<br></div></div><div><br></div><div>It says it have been merged, also the linked code is from the main repo. Did I miss something?</div><div><br></div><div>- benoit</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 17, 2014 at 2:19 PM, Ingela Andin <span dir="ltr"><<a href="mailto:ingela.andin@gmail.com" target="_blank">ingela.andin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi!<br><br><div><div class="gmail_extra"><br><div class="gmail_quote"><span class="">2014-11-17 9:50 GMT+01:00 Benoit Chesneau <span dir="ltr"><<a href="mailto:bchesneau@gmail.com" target="_blank">bchesneau@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Is there any chance that this patch can fall in 17.4 ? :<div><br></div><div><a href="https://github.com/erlang/otp/commit/7603a4029514a644c8323028b06acdc33e45b286" target="_blank">https://github.com/erlang/otp/commit/7603a4029514a644c8323028b06acdc33e45b286</a><br></div><div><br></div></div></blockquote><div><br></div></span><div>We have not received this as a pull-request so at the moment it will not be considered.<br></div><div>If it is submitted and tested it could be considered for 17.4.<br> <br></div><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div></div><div><br></div><div>Or is this only planned for the 18 ?</div><span><font color="#888888"><div>- benoit</div></font></span></div>
<br></blockquote><div><br></div></span><div>Mainly we want new features for 18, but considering the impact and size of a patch it can be somewhat flexible.<br><br><br></div><div>Regards Ingela Erlang/OTP Team - Ericsson AB<br></div><div><br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div></div></div>
</blockquote></div><br></div>