diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gen-index.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gen-index.py b/tools/gen-index.py index 5a56229..aeca8a0 100755 --- a/tools/gen-index.py +++ b/tools/gen-index.py | |||
| @@ -104,7 +104,7 @@ for source_file in issue_files: | |||
| 104 | status_code = "ca" | 104 | status_code = "ca" |
| 105 | elif status.startswith(("def")): | 105 | elif status.startswith(("def")): |
| 106 | status_code = "cd" | 106 | status_code = "cd" |
| 107 | elif status.startswith(("closed", "dup", "rej", "repl")): | 107 | elif status.startswith(("closed", "dup", "rej", "resc", "repl")): |
| 108 | status_code = "cr" | 108 | status_code = "cr" |
| 109 | elif status.startswith("withdrawn"): | 109 | elif status.startswith("withdrawn"): |
| 110 | status_code = "cw" | 110 | status_code = "cw" |
