Brian Gough bb0dc4b4d5 release the lock if it took too long to acquire it

2017-07-12 10:48:32 +01:00

..

document-updater

release the lock if it took too long to acquire it

2017-07-12 10:48:32 +01:00