Merge "[LockManager] Added support for a default lock manager."
authorHashar <hashar@free.fr>
Mon, 25 Jun 2012 22:57:45 +0000 (22:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Jun 2012 22:57:45 +0000 (22:57 +0000)
commit756946d2d866adc72e20166be000bce08c2d4574
tree429dc56bb9ba46de7ef1cf35e609321e600e19c1
parent381e603e74d477b3689c5dfe60ed47f8a6b07589
parent45bf4e80bf80d4d00a1a3f62115649fe6cd84914
Merge "[LockManager] Added support for a default lock manager."