No matches were found for subject:"Bug#723053\: Acknowledgement \(pink\-pony\: segmentation fault and cannot find resource files anymore\)"