rm suffix
This commit is contained in:
parent
4fc9a96fde
commit
588b38d66f
9 changed files with 122 additions and 122 deletions
|
|
@ -8,7 +8,7 @@ type t = {
|
|||
stamp_start: Timestamp.t;
|
||||
stamp_expire: Timestamp.t;
|
||||
stamp_end: Timestamp.t;
|
||||
master_sig: Bin_sig.ExchangeSigningKeyValidityPS.t option;
|
||||
master_sig: Bin_sig.ExchangeSigningKeyValidity.t option;
|
||||
}
|
||||
|
||||
let make () =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue