From eca296b07b1d0ad381f6da81069afcd17bb4eb60 Mon Sep 17 00:00:00 2001
From: Eric Engestrom <eric@engestrom.ch>
Date: Thu, 2 Feb 2023 16:44:37 +0000
Subject: [PATCH] .pick_status.json: Mark
 4b841cfec8b502a8290cd67356d811933d318c2b as denominated

---
 .pick_status.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.pick_status.json b/.pick_status.json
index ebdde91b9f9..076edfe7add 100644
--- a/.pick_status.json
+++ b/.pick_status.json
@@ -4441,7 +4441,7 @@
         "description": "rusticl: fix build error with valgrind being enabled",
         "nominated": true,
         "nomination_type": 1,
-        "resolution": 0,
+        "resolution": 2,
         "main_sha": null,
         "because_sha": "20c90fed5a0ab0202ee1ef474c71cb816164a448"
     },