[petsc-dev] merge requests to next

[Mark Adams]

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 <irving at naml.us> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20131213/ae39f464/attachment.html>