No matches were found for subject:"Bug#600137\: closed by David Paleino da...@debian.org \(Bug#600137\: fixed in josm\-plugins 0.0.svn23479\-2\)"