Merge remote-tracking branch 'origin/switch-to-rocky9' into integration_2024_w36

This commit is contained in:
Raphael Defosseux
2024-09-06 14:22:50 +02:00
4 changed files with 145 additions and 4 deletions
+1
View File
@@ -128,6 +128,7 @@ check_supported_distribution() {
"rocky9.1") return 0 ;;
"rocky9.2") return 0 ;;
"rocky9.3") return 0 ;;
"rocky9.4") return 0 ;;
esac
return 1
}