target/arm720t: change prototype of arm720t_verify_pointer()
[fw/openocd] / NEWS-0.10.0
2017-01-22 Paul FertserRestore normal development cycle