<div dir="ltr">On Mon, Oct 26, 2015 at 11:28 AM, Magnus Henoch <span dir="ltr"><<a href="mailto:magnus@erlang-solutions.com" target="_blank">magnus@erlang-solutions.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div><div>I posted a patch for that a while ago:<br><br><a href="http://erlang.org/pipermail/erlang-patches/2009-March/000390.html" target="_blank">http://erlang.org/pipermail/erlang-patches/2009-March/000390.html</a><br><br></div>I got neither positive nor negative responses to it, so I'm not sure what the general opinion is on this. If anyone feels like it, feel free to try resubmitting the patch as a pull request.<br></div></div></div></blockquote><div><br></div><div>Well, I just did it myself. Here it is: <a href="https://github.com/erlang/otp/pull/872">https://github.com/erlang/otp/pull/872</a><br><br></div><div>Regards,<br></div><div>Magnus <br></div></div></div></div>