On Mon, Sep 12, 2022 at 3:32 AM Simon Josefsson <si...@josefsson.org> wrote: > Btw, see my concerns with this code earlier here: > > https://lists.gnu.org/archive/html/bug-gnulib/2022-08/msg00040.html > https://lists.gnu.org/archive/html/bug-gnulib/2022-08/msg00044.html > > Instead of the patch, I have merely disabled it when I ran into issues, > since it doesn't add value for me and causes problems. > > Couldn't this be converted into a syntax-check rule instead? Or just > removed.
Hi Bruno and Simon, Sorry it's causing trouble. You're welcome to improve, delete or move it to a syntax-check rule. I prefer the latter, because there it may still help someone, and it's easy to disable.
