[petsc-users] [petsc-maint #103068] problems compiling

[Dominik Szczerba]

> 2) Dominik, I have pushed a possible fix for this to petsc-dev. Can you try
> running with that on this machine?

There is no mercurial on the system. Is your fix already in the tarball?