OK. Though I think you've got the wrong PR. 121724 is a C++ rejects-valid bug :-)
Oops, yes, thanks. Going to commit with the two changes after the CI is clean.
-- Regards Robin
OK. Though I think you've got the wrong PR. 121724 is a C++ rejects-valid bug :-)
Oops, yes, thanks. Going to commit with the two changes after the CI is clean.
-- Regards Robin