I have https://gitlab.com/petsc/petsc/-/merge_requests/6225, but my change is tiny so that you can go ahead, and I will revise it later.
--Junchao Zhang On Fri, Mar 24, 2023 at 7:08 AM Barry Smith <bsm...@petsc.dev> wrote: > > I will be converting .rst files to .md; please let me know if you have any > outstanding MR with changes so there are no conflicts. > > Barry > >