Commit dd5adad1a74e12bb8dbd01451794269a31ce9f0f

Bruno Haible 2007-03-11T00:51:51

Choose better temporary filenames.