[PING] [PATCH] contrib: Set check-params-in-docs.py to skip tables of values of a param

[Filip Kastl]

Hi,

I'd like to ping my patch.  You can find it here:

https://gcc.gnu.org/pipermail/gcc-patches/2024-August/661362.html

Btw not sure if I could Cc anyone on this.  AFAIK no one is a maintainer of the
./contrib scripts.

Thanks,
Filip Kastl