From 8cdf5a5c4fb2b8fb3fb2096e1a5b0519b2a57ba7 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Thu, 10 Aug 2023 15:51:59 +0100 Subject: [PATCH] .pick_status.json: Mark 58625686637a7a140d0ac1795f5cb2fbe426ca2b as denominated --- .pick_status.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.pick_status.json b/.pick_status.json index 52a9dcc3dea..ead3a3047a3 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -22,7 +22,7 @@ "description": "docs/v3dv: mark direct display extensions as implemented", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 2, "main_sha": null, "because_sha": "bf5cfb64868a50b84df82d2df36585f95b2c492f" },