Re: (ITS#6117) Segfault in hdb_index_mask