Revision aeb0e46126a6356d49b14d5f752f1616741e0781

Committed on 04/11/2013 3:48 pm by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Was missing the lock manager :-)