From 63052daa2cf50aa3dabdd862f5cb9356b9367d2d Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Sun, 4 Aug 2024 22:42:50 +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 bebddc64eb1..143fd1cebd5 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -1104,7 +1104,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