[MediaWiki-commits] [Gerrit] operations/dumps[master]: tweak stale lock refresh interval for incr dumps

ArielGlenn has submitted this change and it was merged. Change subject: tweak stale lock refresh interval for incr dumps .. tweak stale lock refresh interval for incr dumps Change-Id: I672eb4dae9c17e30e9c962ac4f76fa5637d84850

[MediaWiki-commits] [Gerrit] operations/dumps[master]: tweak stale lock refresh interval for incr dumps

ArielGlenn has uploaded a new change for review. https://gerrit.wikimedia.org/r/324619 Change subject: tweak stale lock refresh interval for incr dumps .. tweak stale lock refresh interval for incr dumps Change-Id: