Michael Paquier <michael@paquier.xyz> writes:
> On Sun, Apr 04, 2021 at 10:13:26AM +0530, Bharath Rupireddy wrote:
>> +1 to remove it and the patch LGTM.
> Indeed, there is no point to keep that around. I'll go clean up that
> as you propose.
What Andrew was suggesting in the other thread might well result in
putting it back. I'd hold off till that decision is made.
regards, tom lane