Commit fc5a0040 authored by Lorenz Huedepohl's avatar Lorenz Huedepohl
Browse files

Actually fix the MPI communicator leak

This fixes commit 1cd2bb99, which attempted to plug the memory leak due
to unfreed MPI communicators.
parent 4621f639