------- Comment #1 from redi at gcc dot gnu dot org 2009-11-12 17:03 -------
Seems like a reasonable request, it will disable at least the get_deleter()
functionality. I'll work on this when I update shared_ptr to match the latest
WP
--
redi at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |redi at gcc dot gnu dot org
|dot org |
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-11-12 17:03:49
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42019
