Merge branch 'jolivet/feature-ksphpddm-precision' into 'main'KSPHPDDM: add -ksp_hpddm_precision [single|double]See merge request petsc/petsc!4836
KSPHPDDM: add -ksp_hpddm_precision [single|double]