I pushed both of these; thanks.  (But I combined them into
a single patch.)

_______________________________________________
Openocd-development mailing list
[email protected]
https://lists.berlios.de/mailman/listinfo/openocd-development

Reply via email to