On Aug 30, 2015, at 8:36 PM, Michael Collison <michael.colli...@linaro.org> wrote: > Ping. Originally posted here: > > https://gcc.gnu.org/ml/gcc-patches/2015-08/msg01475.html
I looked at the patch and wondered if I had worked around the lack of the feature in my port. I didn’t find any evidence of that, but the patch looked nice. I’d like to see it included.