On Sep 5, 2014, at 3:10 AM, Thomas Schwinge <tho...@codesourcery.com> wrote:
> Should PR20567 now be updated?

Updated.

Reply via email to