From c825b1f1678be926b226c74a9ed997a4ea99db98 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Thu, 16 Mar 2023 17:04:27 -0700 Subject: [PATCH] Bump env to cope with Smrnmi extension --- env | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/env b/env index 7283c38f3..4fabfb4e0 160000 --- a/env +++ b/env @@ -1 +1 @@ -Subproject commit 7283c38f3a56d8fa8d95733cad015ac587fa9277 +Subproject commit 4fabfb4e0d3eacc1dc791da70e342e4b68ea7e46