[petsc-dev] ABI-compatible debug and optimized builds

[Karl Rupp]

Hi Lisandro,

 > PS: This branch show be merged to "maint", but we really need to test
> it in "next" before that. How should I make the pull request?

As your branch is within the PETSc repository already, you can also 
merge it to next directly, i.e.

$> git checkout next
$> git pull
$> git merge dalcinl/libpetsc-abi

(then test it in next, push the results if everything works out and wait 
for results of nightly tests)

Best regards,
Karli