The second patch adds a more explicative error message to BufferPoolCheckLeak.
It should be completely harmless. Submitted by: Massimo Dal Zotto <dz@cs.unitn.it>
Showing
Please register or sign in to comment
It should be completely harmless. Submitted by: Massimo Dal Zotto <dz@cs.unitn.it>