On Mon, 17 Apr 2023 at 02:29, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> But +1 for just dropping them.
Thanks. I just pushed the patch to drop them all.
David