On Thu, 25 Apr 2024 09:47:11 GMT, SendaoYan <[email protected]> wrote:
> The script make/devkit/createJMHBundle.sh use fixed maven repo server: > https://repo.maven.apache.org/maven2. It's maybe useful to make the maven > repo mirror configurable. > > Only change devkit shell script, no risk. Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/18946#pullrequestreview-2022334899
