The openocd-0.8.0 release.
This tag has no release notes.