server: warn if user changes server port after init
[fw/openocd] / ChangeLog
1 Retired in favor of git log.