On Wed, 28 Feb 2024 01:37:11 GMT, Zhengyu Gu <zgu at openjdk.org> wrote: > Trivial cleanup, remove unused develop flag. Looks good. ------------- Marked as reviewed by gli (Committer). PR Review: https://git.openjdk.org/jdk/pull/18036#pullrequestreview-1905234313