[Bug c++/55813] Poorly named/documented option Wctor-dtor-privacy

[paolo.carlini at oracle dot com]

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



Paolo Carlini <paolo.carlini at oracle dot com> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

             Status|NEW                         |RESOLVED

         Resolution|                            |FIXED

   Target Milestone|---                         |4.8.0



--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-28 
10:03:03 UTC ---

Done.