<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Feb 15, 2015 at 6:54 PM, Grace Karanja <span dir="ltr"><<a href="mailto:gracie.karanja89@gmail.com" target="_blank">gracie.karanja89@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Feb 15, 2015 at 3:09 AM, Dirk Hohndel <span dir="ltr"><<a href="mailto:dirk@hohndel.org" target="_blank">dirk@hohndel.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hi Grace...<span class=""><br><span><br>
</span>Thanks. Some comments below...<br><br></span></blockquote></div></div></div></blockquote><div>This new patch enables undoing of renumbered dives. </div></div><br></div></div>