diff --git a/scripts/error_codes.py b/scripts/error_codes.py index 2f7c0619a..100c0c0be 100755 --- a/scripts/error_codes.py +++ b/scripts/error_codes.py @@ -220,7 +220,7 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False): return False old_source_only_ids = { - "1123", "1133", "1220", "1584", "1823", "1950", + "1123", "1133", "1218", "1220", "1584", "1823", "1950", "1988", "2418", "2461", "2512", "2592", "2657", "2800", "2842", "2856", "3263", "3356", "3441", "3682", "3876", "3893", "4010", "4281", "4802", "4805", "4828",