<div dir="ltr">I will merge them today or tomorrow.<div><br></div><div>  Thanks,</div><div><br></div><div>     Matt</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Dec 13, 2013 at 5:35 PM, Geoffrey Irving <span dir="ltr"><<a href="mailto:irving@naml.us" target="_blank">irving@naml.us</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Can these three small branches be merge dto next?  I verified that I<br>
don't have permission to do that myself (pre-receive hook declined):<br>
<br>
    irving/doc-cleanup<br>
    irving/dual-space-context<br>
    irving/snes-ex12-cleanup<br>
<br>
Thanks,<br>
Geoffrey<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>
-- Norbert Wiener
</div>