tcl: board: mini2440: fix to work with the current version
[fw/openocd] / NEWS-0.8.0
2014-04-27 Paul FertserRestore normal development cycle