On Mon, 9 Sep 2024 17:13:11 GMT, Gerard Ziemski <gziem...@openjdk.org> wrote:
> The template parameter rename I was planning on doing in a followup issue, > however, if you really want, I can make the fix here too. Personally I'd be okay with doing it here as one final commit that can be viewed in isolation. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20872#issuecomment-2339696620
