No matches were found for subject:"\[JGrass\-devel\] \[bug #132\] removing and renaming of maps doesn't work fine"