On Mon, 13 Jan 2025 22:40:27 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Get IEEE 754 added as an external standard in JDK 24's docs too. This pull request has now been integrated. Changeset: f45a23ca Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/f45a23cabdcf43e1ae82e34a64f04df87a40d415 Stats: 30 lines in 7 files changed: 0 ins; 0 del; 30 mod 8347605: Use spec tag to refer to IEEE 754 standard Reviewed-by: liach, bpb, iris Backport-of: 7c883c284de4fa1cb55f4fd4cf4dc9115bee5e65 ------------- PR: https://git.openjdk.org/jdk/pull/23091
