Commit 708d8e672e598275721ee0e9707e5bea2b0435b4

Stefan Sperling 2019-03-27T12:00:59

fix behaviour when update deletes an edited file