Commit 07db72ec7e1d17602ab313bdb849bca748b4d0d8

Bruno Haible 2006-10-06T13:32:11

Ensure temp file is closed before its directory is removed.