<div dir="ltr">I have created a new pull request for mnesia_ext, based on the fresh OTP 18.1.2 tag:<br><br><a href="https://github.com/erlang/otp/pull/858">https://github.com/erlang/otp/pull/858</a><br clear="all"><div><div class="gmail_signature"><br>        /Richard</div></div>
</div>