On Tue, 3 May 2022 08:25:30 GMT, Raffaello Giulietti <d...@openjdk.java.net> wrote:
> What about the DOI URL? Probably even more stable. > https://doi.org/10.1109/IEEESTD.2019.8766229 Hmm. I'd rather use the IEEE URL for now; if that turns out to problematic, we can switch to the DOI one. ------------- PR: https://git.openjdk.java.net/jdk/pull/8511
