gerrit url: update the gerrit server address to https://review.openocd.org
[fw/openocd] / NEWS-0.9.0
2015-05-17 Paul FertserRestore normal development cycle