On August 18, 2018 10:52:33 AM GMT+09:00, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> I think it probably needs to stay documented, but we could mark it as> deprecated ...
Okay, no issues with doing so.
-- Michael