(History-digging response) After sending my reply I actually wondered about the lock as well: A simple test revivaled that the current version has no problem with it, but now I had a closer look: I vaguely remember problems with locking as well, but I am not sure if that was related to 'update'. A casual look for changes in that area leads me to git commit 1cd1c398 from 4 years ago, which looks a bit like it could be the fix for this.
(History-digging response) After sending my reply I actually wondered about the lock as well: A simple test revivaled that the current version has no problem with it, but now I had a closer look: I vaguely remember problems with locking as well, but I am not sure if that was related to 'update'. A casual look for changes in that area leads me to git commit 1cd1c398 from 4 years ago, which looks a bit like it could be the fix for this.