I will merge them today or tomorrow.
Thanks,
Matt
On Fri, Dec 13, 2013 at 5:35 PM, Geoffrey Irving <[email protected]> wrote:
> Can these three small branches be merge dto next? I verified that I
> don't have permission to do that myself (pre-receive hook declined):
>
> irving/doc-cleanup
> irving/dual-space-context
> irving/snes-ex12-cleanup
>
> Thanks,
> Geoffrey
>
--
What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which their
experiments lead.
-- Norbert Wiener
