"Jie Zhang" <jzhang(at)greenplum(dot)com> writes:> There is a bug in the in-memory bitmap index on the CVS Tip.
Good catch, thanks for the report.
regards, tom lane