[petsc-dev] Developer vote needed on a new naming convention https://gitlab.com/petsc/petsc/-/merge_requests/7206#note_1754514959

[Barry Smith]

   There is some disagreement on the introduction of a new naming convention in 
PETSc source code so I would like a quick voten at 
https://gitlab.com/petsc/petsc/-/merge_requests/7206#note_1754514959 Please 
vote there, not in email.

Barry