tree 9b65809cbb5ec4d012cc68aa31998ac99e8c0389
parent b1e74d26a8ba8c203ef2f2510a0dc1e4fdcd154e
author Till Westmann <westmann@gmail.com> 1390955907 -0800
committer Till Westmann <westmann@gmail.com> 1390955907 -0800

disable debugging checks
fix LockManagerDeterministicUnitTest
some cleanup