Re: remove reset_shared()

[Nathan Bossart]

On Sat, Jul 16, 2022 at 12:34:11PM -0400, Tom Lane wrote:
> Pushed after fiddling with the comments.

Thanks!

-- 
Nathan Bossart
Amazon Web Services: https://aws.amazon.com