Hi, Helmut Hummel schrieb: > > (Perhaps Steffen should have been written that he wants to change this, > because of a better performance for indexed_search. I guess this patch > already whould have been committed, if he had done so) Forgot to mention: this is a +1 (while reviewing the patch) ;)