On Wed, 7 Aug 2024 21:41:50 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> Done in 580d34a63b5d3b6c7d2323413f338527db2d9acd. > > Thanks. You might need to update the CSR to include this in the spec change. Yes, I updated the user guide and the CSR to reflect this behavior. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16483#discussion_r1708010498
