Merge branch 'master' into arm64

2023-09-27 16:01:28 +01:00
parent 77706bd2f6 a0b8868fbf
commit c318daf364
31 changed files with 107 additions and 142 deletions
--- a/stage0/prerun.sh
+++ b/stage0/prerun.sh
@@ -1,6 +1,6 @@
 #!/bin/bash -e

-if [ "$RELEASE" != "bullseye" ]; then
+if [ "$RELEASE" != "bookworm" ]; then
 	echo "WARNING: RELEASE does not match the intended option for this branch."
 	echo "         Please check the relevant README.md section."
 fi