"David E. Wheeler" <david@justatheory.com> writes:
> Hello old thread.
> On Jan 19, 2023, at 01:01, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> I think "ignore:" was a kluge we put in twenty-plus years ago when our
>> testing standards were a lot lower, and it's way past time we got
>> rid of it.
> I fixed the regex (removed any detection of pre-9.0 matching, in fact), so all good there. But I wanted to point out
that`ignore:` is documented in the wiki[1], so other extensions may use it. If no one else notices perhaps it’s not a
bigdeal, but I want to call out that pg_regress features, “documented” or not, might be used outside the core.
I didn't know about that page, but I'm happy to go remove its
mention of "ignore:" ...
regards, tom lane
