On Fri, Sep 20, 2013 at 5:08 PM, Brooks Moses <bmo...@google.com> wrote:
> Thus, this Google-local patch addresses our immediate need in a simple > way. Ok to commit to google/main and merge to google/gcc-4_8? OK. This should go in google/integration, actually. google/main can get it later when it merges from g/i (unless it's needed there now?) Thanks. Diego.
