http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56441
--- Comment #11 from gnugcc at emblocks dot org 2013-02-26 17:51:16 UTC --- Richard, you can close this one. I'm leaving the ARM-branch and are moving to the head of branch 4.7. Sorry for the inconveniences, I thought that the ARM branch would be the most suitable for ARM but I discovered that that relationship isn't that obvious. At least I learned today a little of the GCC internals. Sorry again. Gerard
