Mike Stump Fri, 05 Sep 2014 10:13:36 -0700
On Sep 5, 2014, at 3:10 AM, Thomas Schwinge <tho...@codesourcery.com> wrote: > Should PR20567 now be updated?
Updated.