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. > /sponsor Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18946#issuecomment-2078469303
