[Bug libstdc++/12859] Output of floating point value changes global locale

[pcarlini at suse dot de]

------- Additional Comments From pcarlini at suse dot de  2004-04-15 20:14 -------
*** Bug 14970 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |svoboda at cs dot cmu dot
                   |                            |edu


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