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.
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.