techee left a comment (geany/geany-plugins#1439) Thanks, merged. As you said, the danger is that I decide to update to a newer version of readtags and forget to add this line but as you said, the suppression might not be needed any more.
By the way, do we need to do something similar for Geany too? We also use readtags for reading tags file now. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1439#issuecomment-2910361740 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/1439/c2910361...@github.com>