Re: Can we delete the vacuumdb.sgml notes about which version each option was added in?

[David Rowley]

On Mon, 17 Apr 2023 at 02:29, Tom Lane <t...@sss.pgh.pa.us> wrote:
> But +1 for just dropping them.

Thanks. I just pushed the patch to drop them all.

David