Hi,
> Is somebody on this, or should I file a PR?
>   
I'll fix it, thanks for your report.

Paolo.

PS: in the future remember to also CC libstdc++, to be sure.

Reply via email to