mirror of
https://github.com/openocd-org/openocd.git
synced 2025-10-14 02:58:23 +08:00

and use better wording. Change-Id: I733283a957957354bdf527240be73b711631e372 Signed-off-by: Tomas Vanek <vanekt@fbl.cz> Reviewed-on: https://review.openocd.org/c/openocd/+/9112 Tested-by: jenkins Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>