On Tue, Mar 31, 2015 at 5:09 PM, Alexander Smundak <asmundak@google.com> wrote: > Thank you for reviewing this! > > How will this change make it into the GDB repository? > I don't have the authority to commit changes. I'll check it in tomorrow.