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