PR ada/6767 is also fixed in this release. Is it too late to update the release notes? (I haven't been on the gcc list for a while, only on gcc-announce, so please bear with me if I'm too late in saying this). -- Ludovic Brenta.