<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Dec 14, 2013 at 2:02 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">Thanks Matt for merging them!  I'll switch to pull requests in future.</blockquote><div><br></div><div>I have merged doc and ex12. I need to cleanup dual-space since there was</div>
<div>some unmerged stuff from me that was flattened by a rebase-gone-wrong.</div><div><br></div><div>   Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
Geoffrey<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Fri, Dec 13, 2013 at 7:15 PM, Mark Adams <<a href="mailto:mfadams@lbl.gov">mfadams@lbl.gov</a>> wrote:<br>
> Geoffrey,<br>
> you can do a pull request on bitbucket.  This is the proper channel.<br>
> Mark<br>
><br>
><br>
> On Fri, Dec 13, 2013 at 6:35 PM, Geoffrey Irving <<a href="mailto:irving@naml.us">irving@naml.us</a>> wrote:<br>
>><br>
>> 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>
><br>
><br>
</div></div></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></div>