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

Reply via email to