diff options
author | Sean Gilligan <sean@msgilligan.com> | 2023-12-13 08:03:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-13 17:03:13 +0100 |
commit | 224b3a5ad9a960e4a6e3cd59233c1616164c5ef5 (patch) | |
tree | 4aefe1f4303edf960b781f231ad8fb6966b5449e /default.nix | |
parent | 8556109c1f04574ad59dcb0c4882f44eb27ea581 (diff) |
jextract: 2023-04-14 -> 2023-11-27 (JDK 21) (#271127)
This updates jextract to use JDK 21 and to be be based on the commit described as "Update jextract 21 with latest fixes" and as of 2023-12-12 is the latest commit on `master`. Co-authored-by: Sharzy <me@sharzy.in>
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions