Content originally posted in LPCWare by mrib on Fri Nov 23 11:38:37 MST 2012
Quote: CodeRedSupport
5.0.12, which fixes this issue, is now available.
Thanks very much for the quick bug fixes. These are great news for the weekend! I'll try immediately the semihosting issue.
Unfortunately the link to the new Linux package seems to be broken...