Skip to content

dist/tools/openocd: start debug-server in background and wait#19737

Merged
bors[bot] merged 1 commit intoRIOT-OS:masterfrom fabian18:pr/openocd_server_in_backgronuf_and_waitJun 20, 2023
+18-1

Commits

Commits on Jun 15, 2023