git: fix formatting commit hash (#420)

rems-project · Jul 24, 2024 · a91db76 · a91db76
1 parent b54b84b
commit a91db76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -1,2 +1,2 @@
 # CN: Format code according to .ocamlformat file
-36882ab6e66ebb5e8c36e2bb7b80dbfa5be64322
+ce8b6186fde296e05532b05783de36e814cbf465