Added "check that the bug isnt already fixed".
tree6b650d3a345f8b38b1c495d4f6caf0478377318e
drwxr-xr-x - CVSROOT
drwxr-xr-x - apps
drwxr-xr-x - docs
drwxr-xr-x - firmware
drwxr-xr-x - flash
drwxr-xr-x - fonts
drwxr-xr-x - gdb
drwxr-xr-x - tools
drwxr-xr-x - uisimulator
drwxr-xr-x - www