[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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20240201/55abd7a8/attachment.html>