On Wed, 28 Feb 2024 03:22:45 GMT, Guoxiong Li <gli at openjdk.org> wrote: >> Trivial cleanup, remove unused develop flag. > > Looks good. Thanks, @lgxbslgx @tschatzl ------------- PR Comment: https://git.openjdk.org/jdk/pull/18036#issuecomment-1969035680