[petsc-dev] git workflow question

[Karl Rupp]

>> Actually, I think we doing ourselves a favor if we recreate the branch
>> from the current master, possibly after merging the removal of the
>> "#ifdef 0"-stuff. Is that okay with you?
> That sounds great to me. I have a few things on my plate this morning
> but I hope to get to it this afternoon.

Perfect! The "#ifdef 0"-PR should only be a matter of readding the one 
comment line.

Best regards,
Karli