diff options
author | Eric Engestrom <eric@engestrom.ch> | 2020-09-10 11:45:45 +0200 |
---|---|---|
committer | Eric Engestrom <eric@engestrom.ch> | 2020-09-16 19:23:23 +0200 |
commit | 3f55b4c50a51ec497f7713cb890d3ba460036fd7 (patch) | |
tree | 2fc1466f67fc28add3e65c7b5b8a0f3fe7154d60 | |
parent | 60eaaf7fb5bf4d0d8cf7b0cba01839ca5f975d8d (diff) |
.pick_status.json: Mark c8ac01af33a5bc63822915f08f89a7dbaf7d433f as denominated
-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 adfffe33a2f..a8722e83bae 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -4819,7 +4819,7 @@ "description": "pan/mdg: Fix discard encoding", "nominated": true, "nomination_type": 0, - "resolution": 0, + "resolution": 2, "master_sha": null, "because_sha": null }, |