Skip to content

Misc. build updates#35

Merged
jpenilla merged 1 commit intomainfrom
build-updates
Dec 30, 2024
Merged

Misc. build updates#35
jpenilla merged 1 commit intomainfrom
build-updates

Conversation

@jpenilla
Copy link
Member

This was needed for it to compile on my machine with latest JDK 21

This was needed for it to compile on my machine with latest JDK 21
@jpenilla jpenilla merged commit 692af5a into main Dec 30, 2024
2 checks passed
@jpenilla jpenilla deleted the build-updates branch December 30, 2024 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant