Skip to content

Fix error code for path_rename of a non-existant file#2667

Merged
bors[bot] merged 2 commits intomasterfrom rename_enoentNov 8, 2021