search

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project
MIT License
3 stars 2 forks source link

fix export format for arbitrary secrets #127

Closed marsella closed 2 years ago

marsella commented 2 years ago

This addresses an inconsistency noted while implementing retrieve.

Part of boltlabs-inc/key-mgmt#73