On Thu, May 7, 2020 at 4:33 AM Michael Paquier <[email protected]> wrote: > So this gives the attached. Any thoughts?
That seems fine. -- Peter Geoghegan
- Should smgrdounlink() be removed? Peter Geoghegan
- Re: Should smgrdounlink() be removed? vignesh C
- Re: Should smgrdounlink() be removed? Michael Paquier
- Re: Should smgrdounlink() be removed? Fujii Masao
- Re: Should smgrdounlink() be removed? Michael Paquier
- Re: Should smgrdounlink() be removed... Peter Geoghegan
- Re: Should smgrdounlink() be rem... Michael Paquier
- Re: Should smgrdounlink() be... Peter Geoghegan
- Re: Should smgrdounlink() be... Michael Paquier
