On 2025-05-09 09:30, Andreas Schwab wrote:
On Mai 09 2025, Torbjörn SVENSSON wrote:
diff --git a/contrib/check_GNU_style_lib.py b/contrib/check_GNU_style_lib.py
index f680983d2f3..8b930ef6bdb 100755
--- a/contrib/check_GNU_style_lib.py
+++ b/contrib/check_GNU_style_lib.py
@@ -279,7 +279,9 @@
On Mai 09 2025, Torbjörn SVENSSON wrote:
> diff --git a/contrib/check_GNU_style_lib.py b/contrib/check_GNU_style_lib.py
> index f680983d2f3..8b930ef6bdb 100755
> --- a/contrib/check_GNU_style_lib.py
> +++ b/contrib/check_GNU_style_lib.py
> @@ -279,7 +279,9 @@ def check_GNU_style_file(file, format)