On Thu, Jul 2, 2015 at 9:28 PM, Heikki Linnakangas <hlinnaka@iki.fi> wrote:
> The problem isn't limited to the cases where the old index is not reused.
> This still fails with your patch:
> [test case]
Interesting, so my patch is over-complicated. I will fix in next
version with more test cases to check as well reused indexes.
--
Michael