BufferManager.cpp revision ced4130f
1