I am working with two STM32H503 Nucleo boards.
Once I switch to USB devices (to allow selection of specific nucleo), I am no longer able to select STM32H5xx device.
There is OpenOCD v0.13 which have added support for those H5 chips, how can I upgrade to this version?