BUG #17255: Server crashes in index_delete_sort_cmp() due to race condition with vacuum

back to CI dashboard

1 patchset tracked - current t71033_90