Hi all, I've just pushed out crtools-v3.12-rc6 branch. it has two fixes for dirty page tracking which should hit stable@ 3.11 tree as well. Other than that -- we've no out-of-three patches still, and that's good :-) Go and test it.