Remove old buffer when renaming rather than complaining, GitHub issue
commit1262e685b827a155d68e92f44077bfd1d44f1812
authornicm <nicm>
Tue, 7 Feb 2023 10:56:04 +0000 (7 10:56 +0000)
committernicm <nicm>
Tue, 7 Feb 2023 10:56:04 +0000 (7 10:56 +0000)
tree4f5e9ba5d6b07b382a348cf8713e91a2dc0804a8
parent0bd78b42c0a379e46645a7083e0b4785b19e39aa
Remove old buffer when renaming rather than complaining, GitHub issue
3467 from Jean-Philippe Paradis.
paste.c