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 >
