On Mon, 12 Oct 2026 09:12:57 GMT, Eirik Bjørsnøs <[email protected]> wrote:
> @cushon Would it be possible to add a (very short) synopsis in the PR > description here? > > I understand this has history discussed elsewhere which you may not want to > repeat. But it's nice when a PR self-contained enough to get a rough idea > without having to comb through the history. > > There's always an audience to the PRs of a project like this who will not be > filled in on the details but still would like a quick overview before maybe > moving on. Thanks, I had been meaning to do that, done. Let me know if there's anything that's unclear or questions that aren't addressed, or any other feedback on the PR is welcome too. ------------- PR Comment: https://git.openjdk.org/jdk/pull/32373#issuecomment-6141153123
