Skip to content

mingw_rename: do support directory renames#1839

Closed
dscho wants to merge 1 commit intogitgitgadget:ps/mingw-renamefrom dscho:ps/mingw-rename-followup

Commits

Commits on Dec 17, 2024