<div dir="ltr">Geoffrey, <div>you can do a pull request on bitbucket.  This is the proper channel.<div>Mark</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Dec 13, 2013 at 6: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></div>