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

[David Craven]

Hi Theodor,

I made libjaylink and jimtcl two separate packages and a couple of
style changes.

Pushed as 5b83b7b854054900abe7fef699d81943892e6e7a,
3d74f12e63f7f94e2609b7bb028c3153df05c9bb and
94f36a4f5e101dc7d4f65224b1d3f0abebe643af.

Thank you!

David