commit | 1262e685b827a155d68e92f44077bfd1d44f1812 | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue Feb 07 10:56:04 2023 +0000 |
committer | nicm <nicm> | Tue Feb 07 10:56:04 2023 +0000 |
tree | 4f5e9ba5d6b07b382a348cf8713e91a2dc0804a8 | |
parent | 0bd78b42c0a379e46645a7083e0b4785b19e39aa [diff] |
Remove old buffer when renaming rather than complaining, GitHub issue 3467 from Jean-Philippe Paradis.