[Bug libstdc++/54185] condition_variable not properly destructed

[redi at gcc dot gnu.org]

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

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-08-13 14:35:21 UTC ---
Perfect - thanks. I'll get it committed tonight.