bashims: bump devscripts version

Signed-off-by: Axel Heider <[email protected]>
seL4 · Oct 24, 2023 · a943244 · a943244
1 parent 607634d
commit a943244
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.3.tar.xz>.
+<https://deb.debian.org/debian/pool/main/d/devscripts/devscripts_2.23.6.tar.xz>.
 Installing it via `apt-get` takes forever, because the rest of the devscripts
 has lots of dependencies.