Dear list,

Some weeks ago, someone kindly shared a patch to improve the performance
on small problems (less than or around 1 000 dofs). I deleted the
e-mail, thinking that I would be able to find it back on the archives.
It may have been in the petsc-maint list, which means that there is no
archive. I would like to ask if someone could redirect the thread, a
link in https://lists.mcs.anl.gov/pipermail or tell me where I can find
the pull request or patch. Thank you very much in advance.