> On 22 Oct 2020, at 11:09, Jonathan Wakely <jwakely@redhat.com> wrote: > > (Please CC the libstdc++ list for all lisbtdc++ patches) Oh, sure. > Looks good, thanks. Great, thanks for your prompt feedback :) Olivier