From 246eb11e94175d2baf00b6512c2f1cca4add1af4 Mon Sep 17 00:00:00 2001
From: uink45 <79078981+uink45@users.noreply.github.com>
Date: Thu, 26 Mar 2026 10:37:16 +1000
Subject: [PATCH] Update pinned commit hash for Devnet 3

Updated the commit hash and link for Devnet 3 to `97485335033443be6a68481d68851826ec22e6b8`.
---
 VERSIONS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSIONS.md b/VERSIONS.md
index 8541bb09..c0ddb820 100644
--- a/VERSIONS.md
+++ b/VERSIONS.md
@@ -3,4 +3,4 @@
 | Devnet 0 | 4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5 | https://github.com/leanEthereum/leanSpec/tree/4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5 |
 | Devnet 1 | 050fa4a18881d54d7dc07601fe59e34eb20b9630 | https://github.com/leanEthereum/leanSpec/tree/050fa4a18881d54d7dc07601fe59e34eb20b9630 |
 | Devnet 2 | 4edcf7bc9271e6a70ded8aff17710d68beac4266 | https://github.com/leanEthereum/leanSpec/tree/4edcf7bc9271e6a70ded8aff17710d68beac4266 |
-| Devnet 3 | be853180d21aa36d6401b8c1541aa6fcaad5008d | https://github.com/leanEthereum/leanSpec/tree/be853180d21aa36d6401b8c1541aa6fcaad5008d |
+| Devnet 3 | 97485335033443be6a68481d68851826ec22e6b8 | https://github.com/leanEthereum/leanSpec/tree/97485335033443be6a68481d68851826ec22e6b8 |