I'm marking this fix released. I'll open another bug regarding reporting the count of XXX in the tree in cricket.
I'm marking this fix released. I'll open another bug regarding reporting the count of XXX in the tree in cricket.