docs: add gerrit server url
[openocd.git] / ChangeLog
1 Retired in favor of git log.