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. Marked as reviewed by shade (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/26425#pullrequestreview-3042291664