Re: [Maria-discuss] Strange timestamp index behaviour / bug