[Bug libstdc++/13794] hash_set<std::string> doesn't work

[bangerth at dealii dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|other                       |libstdc++


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