4.5.14
7102da76 · MGM: for cross-directory renames of files we have to broadcast a deletion &... ·