-
David Gobbi authored
under Linux/gcc-3.1 (perhaps other platforms too?), this has probably been the case since the strstream changes. Unfreezing instead of deleting seems to fix.
47a2e1af
under Linux/gcc-3.1 (perhaps other platforms too?), this has probably been the case since the strstream changes. Unfreezing instead of deleting seems to fix.