Steffen Jaeckel 7d14fd029c + allow mp_shrink to shrink initialized, but empty MPI's		2010-07-15 17:49:19 +02:00
..
mpi.c	+ allow mp_shrink to shrink initialized, but empty MPI's	2010-07-15 17:49:19 +02:00