No matches were found for subject:"\[OpenOCD\-devel\] how much of current openocd code base is truly deprecated\?"