> Gerrit being the place for the PR (if such thing) ? https://sourceforge.net/p/openocd/code/ci/master/tree/HACKING
> (is the RTIC channel on Element the right place to discuss this as most of > you guys pop-up over there ?) https://openocd.org/pages/irc.html https://openocd.org/pages/mailing-lists.html
