No matches were found for subject:"Bug#751372\: closed by Luca Bruno lu...@debian.org \(Bug#751372\: fixed in openocd 0.8.0\-2\)"