Bump vcddiff (#5828)

For #5806 via veripool/vcddiff#5
2026-10-06 01:54:01 +02:00 · 2025-03-04 16:21:25 +00:00
parent a3b2c2af17
commit 2cad858d32
1 changed files with 1 additions and 1 deletions
@@ -40,7 +40,7 @@ fi
 install-vcddiff() {
  TMP_DIR="$(mktemp -d)"
  git clone https://github.com/veripool/vcddiff "$TMP_DIR"
-  git -C "${TMP_DIR}" checkout e5664be5fe39d353bf3fcb50aa05214ab7ed4ac4
+  git -C "${TMP_DIR}" checkout dca845020668887fd13498c772939814d9264fd5
  "$MAKE" -C "${TMP_DIR}"
  sudo cp "${TMP_DIR}/vcddiff" /usr/local/bin
 }