PetscObjectDestroyOptionsHandlers() do not check if the registered destroy routine is NULL. In general, the destroy routines are optional. Should we fix this in maint?
-- Lisandro Dalcin --------------- CIMEC (INTEC/CONICET-UNL) Predio CONICET-Santa Fe Colectora RN 168 Km 472, Paraje El Pozo 3000 Santa Fe, Argentina Tel: +54-342-4511594 (ext 1011) Tel/Fax: +54-342-4511169
