On Thu, 13 Feb 2025 19:10:15 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
>> Implementation of >> [`EXTENDED`](https://gist.github.com/mstr2/0befc541ee7297b6db2865cc5e4dbd09) >> and `EXTENDED_UTILITY` stage style. > > Michael Strauß has updated the pull request incrementally with two additional > commits since the last revision: > > - typo > - update copyright headers Does the name `EXTENDED` accurately reflect its functionality? I have a feeling there's a better name for it. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1605#issuecomment-2659430587