bkaestner and Abdisalan Use vc-rename if file is under version control
2b0cb82 Aug 15, 2023
Use vc-rename if file is under version control
Fixes #324.
2b0cb82