jsnyder/arm-eabi-toolchain — pull request #25 by martijnthe (2012-07-31 15:21:28+00:00)
Title: Updated to release2188

See https://sourcery.mentor.com/GNUToolchain/release2188

Looks like your patch was already in this release, so I took that out.