Re: [PATCH v3 3/3] gnu: Add openocd.

[David Craven]

> This would simplify the package as we would no longer need to
> bootstrap.  Could you please take care of this?

Probably. I don't know, I didn't try.