Re: RFR: 8297507: Update header after JDK-8297230 [v2]

[Kevin Rushforth]

On Wed, 23 Nov 2022 15:04:52 GMT, Daniel D. Daugherty <dcu...@openjdk.org> 
wrote:

> Here's the diffs that work:

Yes, that's what Jay tested.

-------------

PR: https://git.openjdk.org/jdk/pull/11324