On Mon, 21 Apr 2025 10:14:05 GMT, Andrew Haley <a...@openjdk.org> wrote:
> That's very nice. It would be even nicer if this was a permalink into the JDK > repo, and a reference in the source code. @theRealAph Ok. It would be useful to have a link to an explanation on how this can be done, if there is one. Thanks. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24690#issuecomment-2818254412
