[petsc-dev] merge requests to next

[Geoffrey Irving]

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 <mfadams at lbl.gov> 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 <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
>
>