Davide De Rosa 9962401d74 Fix some issues in scripts ... - Always use bash for consistent script behavior - Replace deprecated set-output in GitHub workflows		2022-10-17 13:39:54 +02:00
..
commit-release.sh	Fix scripts in release workflow	2022-09-23 23:07:12 +02:00
recognize-match-hostname.sh	Fix some issues in scripts	2022-10-17 13:39:54 +02:00
release-notes.sh	Fix some issues in scripts	2022-10-17 13:39:54 +02:00