<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>The profile issue is still present in master,</div><div>it happens far more regularly when selecting any of the top two dives in the list</div><div>than any other dive combined.</div><div><br></div><div>Dive editing is broken for anything that uses the new HintsTextEdit function.</div></div><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Jocke</div></div>
</div></div>