Hi, the patch is Ok with me (If I understand correctly that the port maintainer doesn't object, but the patch seems pretty straightforward anyway). Thanks, Paolo. PS: remember to always send libstdc++ patches to libstdc++@ too. Also, normally regenerated files are not added to the diff.