On Thu, 27 Apr 2023 15:22:17 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> The KEM API and DHKEM impl. Note that this PR uses new methods in >> https://github.com/openjdk/jdk/pull/13250. > > Weijun Wang has updated the pull request incrementally with one additional > commit since the last revision: > > more @since and about nulls I didn't realize `@` in a commit message can still be linked to a user. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13256#issuecomment-1525895220