Fix newly-introduced (but likely harmless) bug in mv()
Passed
Rob Swindell
created pipeline for commit
b093e0c7
, finished
For master
9 minutes 31 seconds, queued for 9 seconds