-
Dominik Bongartz authored
Updated mumps pointer to newest verison of our mumps repo, which contains MUMPS 5.4.0. Needed to make some slight changes to the interface because of the MPI fix we did in our MUMPS repo: Since we only used MUMPS sequentially, but potentially within an MPI code, we renamed all things called MPI_* in MUMPS (including in particular their fake implementation of the MPI functions) to FPI_*.
3231f967