bashisms: bump devscripts version

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jan 25, 2024 · ecc75c6 · ecc75c6
1 parent 08c98dc
commit ecc75c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bashisms/README.md b/bashisms/README.md
@@ -39,6 +39,6 @@ jobs:
 ### Maintenance
 
 The `checkbashism` script in `../scripts` is directly extracted from
-<https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.6.tar.xz>.
+<https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.7.tar.xz>.
 Installing it via `apt-get` takes forever, because the rest of the devscripts
 has lots of dependencies.