diff options
Diffstat (limited to 'extra/elasticsearch/release_schema.json')
| -rw-r--r-- | extra/elasticsearch/release_schema.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extra/elasticsearch/release_schema.json b/extra/elasticsearch/release_schema.json index 57ff4eb9..85026060 100644 --- a/extra/elasticsearch/release_schema.json +++ b/extra/elasticsearch/release_schema.json @@ -78,6 +78,7 @@ "in_ia": { "type": "boolean" }, "in_ia_sim": { "type": "boolean" }, "in_shadows": { "type": "boolean" }, + "is_superceded": { "type": "boolean" }, "author": { "type": "alias", "path": "contrib_names" }, "journal": { "type": "alias", "path": "container_name" }, |