Hi Jerry,

what it says in the ChangeLog.

OK for trunk?

Yes, OK and thanks Thomas.

Committed as https://gcc.gnu.org/cgit/gcc/commit/?id=2fef81e96ea3035c6a99dd22c64f610bde40d42c .

Thanks a lot for the review!

Best regards

        Thomas

Reply via email to