Vincent de Phily <vincent.dephily@mobile-devices.fr> writes:
> What happens when vacuum is killed before it had time to go though the index
> with its dead-TID buffer ?
The next run will go through the index again, looking for those same TIDs
(and possibly more).
regards, tom lane
