<div>Ok, thanks for the update.</div><div><div class="gmail_quote"><div dir="ltr"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Just too many things to do. I had a discussion with OTP about it and we agreed that it should be a feature of the supervisor, but at the same time they had rewritten some things which caused a big merge conflict and I had to rethink some details, and it's been in limbo ever since. I'd like to try to get it done though. Probably not for recommended for production in the current state.</div><div dir="ltr"><div><div><div dir="ltr" class="m_6735141772399423729gmail_signature" data-smartmail="gmail_signature"><br>        /Richard</div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="m_6735141772399423729gmail_attr">Den lör 19 jan. 2019 kl 12:04 skrev Frank Muller <<a href="mailto:frank.muller.erl@gmail.com" target="_blank">frank.muller.erl@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">Hi guys</div><div dir="auto"><br></div><div dir="auto">What’s the status if this PR:</div><div dir="auto"><div><a href="https://github.com/erlang/otp/pull/1287" target="_blank">https://github.com/erlang/otp/pull/1287</a></div><br></div><div dir="auto">Is it stable enough and why it’s not merged? Can I use it PROD?</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">/Frank</div>
</blockquote></div>
</blockquote></div></div>