http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51478
Dave Abrahams <dave at boostpro dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dave at boostpro dot com
--- Comment #1 from Dave Abrahams <dave at boostpro dot com> 2011-12-09
04:34:33 UTC ---
Actually I think I was wrong to report this and it probably isn't a bug. Feel
free to close it.
