31 Mar 2024 at 14:56, Jeremy Herbert wrote:
> Hi Tommy (and all),
>
> My apologies, this fell off my radar. I have just pushed a fix now:
> https://review.openocd.org/c/openocd/+/8195
>
> Thanks,
> Jeremy
>
> On Sat, 30 Mar 2024 at 22:27, Tommy Murphy
> wrote:
>
Sorry, I see that J. Neuschäfer has already done this. I will abandon my
patch - sorry, I am on holidays and my brain is not quite working so well ;)
Thanks,
Jeremy
On Sun, 31 Mar 2024 at 15:06, Jeremy Herbert wrote:
> Also, there appears to be an unrelated issue with the docs around
