diff options
| author | Stéphane Glondu <glondu@debian.org> | 2019-08-09 07:16:46 +0200 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-08-11 00:09:29 +0100 |
| commit | a4e8e4dbccd6fd64f7e31cf7527e9a8bd0bfe806 (patch) | |
| tree | fb759e51c29030c0f1da9efbe143fdfb509f5788 /i18n-common.make | |
| parent | 407a97d3fde83c07687df1ef2c24fbf57dc9cbe0 (diff) | |
dgit: Fix on NFS (avoid leaking an open file in a directory to rm)
The file debian/source/format was open by "dgit fetch" but never
closed, causing failure to remove the extracted tree on NFS.
Closes: #933827
Signed-off-by: Stéphane Glondu <glondu@debian.org>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'i18n-common.make')
0 files changed, 0 insertions, 0 deletions