From faa59b1e1f9b04149f77e34bdaba982d2724e7b4 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Tue, 27 Jun 2023 14:12:21 +0200
Subject: [PATCH] Use pinned Atlas commit (#22169)

---
 koch.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/koch.nim b/koch.nim
index 2fde9fbd13..a10e01dbbe 100644
--- a/koch.nim
+++ b/koch.nim
@@ -12,7 +12,7 @@
 const
   # examples of possible values for repos: Head, ea82b54
   NimbleStableCommit = "168416290e49023894fc26106799d6f1fc964a2d" # master
-  AtlasStableCommit = "master"
+  AtlasStableCommit = "7b780811a168f3f32bff4822369dda46a7f87f9a"
   ChecksumsStableCommit = "b4c73320253f78e3a265aec6d9e8feb83f97c77b"
 
   # examples of possible values for fusion: #head, #ea82b54, 1.2.3