Fix that "Rename and move file" throws file not found exception#4317

Merged

tobiasdiez merged 3 commits intomasterfrom fix4307

Sep 11, 2018

+558-738

Commits on Sep 4, 2018

Fix that "Rename and move file" throws file not found exception
tobiasdiez
committed

Commits on Sep 11, 2018