[Bug libstdc++/31247] std::vector::iterator::value_type is accessible

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31247

--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-28 09:40:36 UTC ---
Interesting, thanks.

By the way, I would guess Sylvain' email doesn't work anymore, thus it's
unlikely that he can give us his feedback ;) (or does he have a forward in
place, as far as you know?)