GitHub bot: fix linting issues (nobuild)

This commit is contained in:
github-actions
2025-07-15 14:30:04 +00:00
parent 36c3c17caf
commit ed0613764c
53 changed files with 140 additions and 562 deletions

View File

@@ -1,4 +1,5 @@
## 17.4-12 (15-07-2025)
- Allow for non standard user
## 17.4-9 (24-06-2025)