Learn more about these different git repos.
Other Git URLs
a934bf4
Only record next-key info when we have a next-key Only record the number of times we've made requests for a "next key", and its key generation date, if we actually have a key that we're attempting to switch to as part of a larger rekeying operation.