From 0f0fcdd46758d60a07ad78be32209724d6ae3610 Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Thu, 10 Aug 2023 19:37:48 +0100 Subject: [PATCH] .pick_status.json: Mark ac00f5a361ccf8ec9188d0d3256bf2e1ebc767ba as denominated --- .pick_status.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.pick_status.json b/.pick_status.json index 6adfa7262fc..986ef4c4d1c 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -1462,7 +1462,7 @@ "description": "nir/linking_helpers: force type matching in does_varying_match", "nominated": true, "nomination_type": 0, - "resolution": 0, + "resolution": 2, "main_sha": null, "because_sha": null },