On Fri, 17 Feb 2023 16:48:27 GMT, Paul Sandoz <psan...@openjdk.org> wrote:
>> Viktor Klang has refreshed the contents of this pull request, and previous >> commits have been removed. Incremental views are not available. > > That's a nice find, looks good. (Update the year in the copyright header.) @PaulSandoz Ready to integrate? 🤔 ------------- PR: https://git.openjdk.org/jdk/pull/12320
