On Wed, Jul 31, 2013 at 3:04 PM, Brooks Moses <bmo...@google.com> wrote:

> Ok to commit to google/gcc-integration and then merge to
> google/gcc-main and google/gcc-4_8?

OK.


Diego.

Reply via email to