> This is OK. > > Thanks. > > Ian > Ping for someone to commit this (as mentioned before, I have no commit access). I've tried pinging some people on IRC, but saw no response.
Approved version of the patch: https://gcc.gnu.org/ml/gcc-patches/2019-11/msg00647.html Original email, containing the description: https://gcc.gnu.org/ml/gcc-patches/2019-10/msg01591.html (ignore the original patch, two changes had to be made before it was approved) Thanks, - Eddy B.
