fa41eaedf0
Tested in several bulk builds by many, thanks! Note that this temporarely breaks gtk2mm (and all -mm) ports, due to a pending update to gtk2mm which needs fixing in libstdc++. This is being worked on, as other known breakages. Report any fallout to ports@. Discussed at length with espie@ naddy@ bernd@ steven@ ajacoutot@ jasper@ ok ajacoutot@ jasper@