git: openjdk/jdk: master: 8369242: Rename URL variables in devkit/Tools.gmk

[Mikael Vidstedt]

Changeset: eb34a117
Branch: master
Author:    Mikael Vidstedt <mikael at openjdk.org>
Date:      2025-10-07 00:52:38 +0000
URL:       https://git.openjdk.org/jdk/commit/eb34a117934951af075a425ce2cf8d3b1ced9700

8369242: Rename URL variables in devkit/Tools.gmk

Reviewed-by: erikj

! make/devkit/Tools.gmk