From 3c9e70f8e8a30b5e02429f09fb56ec34fd4f0870 Mon Sep 17 00:00:00 2001 From: Thomas Coratger Date: Wed, 18 Mar 2026 09:57:10 +0100 Subject: [PATCH] devnet3: bump commit --- VERSIONS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VERSIONS.md b/VERSIONS.md index 822c8598..8541bb09 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 | 8b7636bb8a95fe4bec414cc4c24e74079e6256b6 | https://github.com/leanEthereum/leanSpec/tree/8b7636bb8a95fe4bec414cc4c24e74079e6256b6 | +| Devnet 3 | be853180d21aa36d6401b8c1541aa6fcaad5008d | https://github.com/leanEthereum/leanSpec/tree/be853180d21aa36d6401b8c1541aa6fcaad5008d |