From c86eba672a4d7e6bbfc1ab8456387254f02a85dd Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Wed, 14 Aug 2024 17:59:16 +0200 Subject: [PATCH] .pick_status.json: Mark 93f9afa1e039cbf681adcc6d170aec987d9f0f65 as denominated --- .pick_status.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.pick_status.json b/.pick_status.json index ddc5cdd0a30..da31b084425 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -6004,7 +6004,7 @@ "description": "ci: remove dead start-x.sh script", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 2, "main_sha": null, "because_sha": "599e8bf9212a1ef2f85a62ce48339aea0d365072", "notes": null