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
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