diff options
| -rw-r--r-- | .pick_status.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.pick_status.json b/.pick_status.json index 48991e2513d..cf8c1aaf5d3 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -85,7 +85,7 @@ "description": "zink: unset pipe_resource::next pointers when creating resource copies", "nominated": true, "nomination_type": 0, - "resolution": 0, + "resolution": 2, "main_sha": null, "because_sha": null }, |