Hi Sean, > Satish, please remove me from petsc-maint. Also, remove me from the > developers webpage. I have already purged petsc-dev from my system and > won't be pushing anything else from now on. Huh, why this? This is not forced change of religion... Best regards, Karli