http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51823
--- Comment #16 from Dave Abrahams <dave at boostpro dot com> 2012-12-14 16:34:31 UTC --- Normative text vs. non-normative note == no contest, IMO. But I guess it doesn't hurt to have the bug open if it doesn't mean any changes to the library.