tree 78c0dd36fb164a58f7e2286623487c8264ef1fea
parent 865240ed6f0c41a2f9dc64dc89ceefc355082a31
author Thomas Klausner <tk@giga.or.at> 1568718163 +0200
committer Thomas Klausner <tk@giga.or.at> 1568718163 +0200

When closing a truncated file, and removing the file fails, this
is not an error.