On Wed, 11 Sep 2013, Brooks Moses wrote: > Ping^3? > > Joseph, I'd been cc'ing you on this because it's driver-related and I > didn't find a more-obvious reviewer. Is there someone else I should > be asking to review it? Alternately, is this a change that should be > discussed on gcc@ before having the actual patch reviewed?
I'm thinking of this as a build-system change rather than a driver one. -- Joseph S. Myers jos...@codesourcery.com
