diff options
| author | 2022-02-05 22:10:25 -0500 | |
|---|---|---|
| committer | 2022-02-05 22:10:25 -0500 | |
| commit | 82aee2a00eee55a809031ce16eb289fb7cf96579 (patch) | |
| tree | 4e4ba348d74c6a5fd27066d7f165644410cf14a1 /debian/control | |
| parent | 0297e7660fdc36f9b84078cdeef6be3ab21504ce (diff) | |
In do_rename, use copy+delete rather than rename to solve some ownership problems.
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions
