http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51618
--- Comment #4 from Dave Abrahams <dave at boostpro dot com> 2011-12-19 13:24:16 UTC --- Not a problem; thanks for looking.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51618
--- Comment #4 from Dave Abrahams <dave at boostpro dot com> 2011-12-19 13:24:16 UTC --- Not a problem; thanks for looking.