Closed aawc closed 1 year ago
Thanks for the quick review and approval, @chris-wood
I haven't used the GitHub UI for submitting PRs in a long time so please pardon my lack of understanding here but I still don't see a way to merge the PR. Does it also need a review from @martinthomson ?
@aawc it doesn't technically need a review from Martin. The pattern we seem to have landed on is that one of us merges once both approve, but this is simple enough that I just merged it now. Thanks for sending the PR!
"and a set HPKE" => "and a set of HPKE"