mirror of
https://github.com/openocd-org/openocd.git
synced 2025-06-11 03:53:04 +08:00

Change-Id: I5cf3ab09dbf100d40ce40a4599cd8d2af18a5567 Signed-off-by: Paul Fertser <fercerpav@gmail.com> Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com> Reviewed-on: https://review.openocd.org/c/openocd/+/4574 Tested-by: jenkins