Commit 7d14fd029c7c2b07c84ad69dc73f966a0d2a16f0

Steffen Jaeckel 2010-06-02T15:09:36

+ allow mp_shrink to shrink initialized, but empty MPI's