On Thu, 25 Apr 2024 11:04:31 GMT, Claes Redestad <[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. > > Looks reasonable. @cl4es @erikj79 Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18946#issuecomment-2077083272
