<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><br></div><div> There is some disagreement on the introduction of a new naming convention in PETSc source code so I would like a quick voten at <a href="https://gitlab.com/petsc/petsc/-/merge_requests/7206#note_1754514959">https://gitlab.com/petsc/petsc/-/merge_requests/7206#note_1754514959</a> Please vote there, not in email.</div><div><br></div><div>Barry</div><div><br></div><div><br></div></body></html>