diff options
Diffstat (limited to 'docs/rpki-db-schema.sql')
| -rw-r--r-- | docs/rpki-db-schema.sql | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/rpki-db-schema.sql b/docs/rpki-db-schema.sql index 87cb552b..4f8f8e1b 100644 --- a/docs/rpki-db-schema.sql +++ b/docs/rpki-db-schema.sql @@ -20,6 +20,7 @@ CREATE TABLE self ( self_id SERIAL NOT NULL, use_hsm BOOLEAN, crl_interval BIGINT unsigned, + regen_margin BIGINT unsigned, PRIMARY KEY (self_id) ); |