Hi Simon, > Pierre-Marie, I’ve CC’d you hoping you’re an appropriate person to ping on > this one. > If not, who would be for this sort of change? > > I should have said, tested by > - add test case, make -C gcc check-gnat: error reported > - make -C gcc gnatlib_and_tools; make install > - make -C gcc check-gnat: no error reported > > FSF copyright assignment RT:1016382
Your message hasn't been forgotten. We're currently reviewing it at AdaCore, this is taking some time. I'll get back to you when I have some feedback. Regards, Arno