On Tue, 22 Jul 2025 10:09:24 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Simple removing a develop flag that is rarely (or even never) used. Thanks for review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26425#issuecomment-3102717993