Peter Nelson 2fa6d79453 Fix #12477: Use std::filesystem::rename instead of Windows Shell API call. (#12478)

2024-04-12 21:40:34 +02:00

3.5 KiB

Raw Blame History

View Raw