[petsc-dev] merge requests to next

[Geoffrey Irving]

On Sat, Dec 14, 2013 at 4:57 PM, Matthew Knepley <knepley at gmail.com> wrote:
> On Sat, Dec 14, 2013 at 2:02 PM, Geoffrey Irving <irving at naml.us> wrote:
>>
>> Thanks Matt for merging them!  I'll switch to pull requests in future.
>
> I have merged doc and ex12. I need to cleanup dual-space since there was
> some unmerged stuff from me that was flattened by a rebase-gone-wrong.

Great, thanks.  I'm not sure if the rebase-gone-wrong was me or you;
if it was me, let me know if I should clean something up.

Geoffrey