[Bug c++/55631] Several ext/ headers can not be #included on their own

[ppluzhnikov at google dot com]

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



--- Comment #1 from Paul Pluzhnikov <ppluzhnikov at google dot com> 2012-12-09 
16:55:52 UTC ---

Google ref b/7699405