On Feb 8, 2016, at 2:26 PM, Zach Welch <zwelch@codesourcery.com> wrote: > > Ping. From what I see, my patch has not yet been committed. Can I talk > someone into taking care of that for me? I had hoped that someone would commit it for you. Committed revision 234533.