[Bug libstdc++/55169] std::discrete_distribution::operator(generator&) makes unnecessary copy of parameter vector

[paolo.carlini at oracle dot com]

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



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



           What    |Removed                     |Added

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

             Status|ASSIGNED                    |RESOLVED

         Resolution|                            |FIXED

   Target Milestone|---                         |4.7.3



--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-02 
11:19:37 UTC ---

Fixed mainline and 4.7.3.