doc: Update patch procedure
[openocd.git] / ChangeLog
1 Retired in favor of git log.