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