On 09/15/2016 06:56 AM, Joseph Myers wrote:
Ping.  This patch
<https://gcc.gnu.org/ml/gcc-patches/2016-09/msg00546.html> is pending
review.
I suspect you know more about this than anyone else here, so ISTM you're the authority on correctness.

Rubber stamp OK. :-)

jeff

Reply via email to