Thanks Matt for merging them! I'll switch to pull requests in future. Geoffrey
On Fri, Dec 13, 2013 at 7:15 PM, Mark Adams <[email protected]> wrote: > Geoffrey, > you can do a pull request on bitbucket. This is the proper channel. > Mark > > > On Fri, Dec 13, 2013 at 6: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 > >
