> OK for trunk from me as well. Thanks! Pushed as https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=059eb26c0337cd201898217ccc2878ab5c69f5bb
FX
> OK for trunk from me as well. Thanks! Pushed as https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=059eb26c0337cd201898217ccc2878ab5c69f5bb
FX