Merge branch 'master' into router_benchmark

scionproto · Nov 17, 2023 · dba5192 · dba5192
2 parents 90394e7 + 3beb210
commit dba5192
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/git-version b/tools/git-version
@@ -2,4 +2,4 @@
 
 # Small script to determine the git version.
 
-exec git describe --tags --dirty
+exec git describe --tags --dirty --always