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