Skip to content

chore: bump recommended elan version to 4.0.0#640

Merged
mhuisi merged 1 commit intomasterfrom
mhuisi/bump-minimum-elan-version
Jul 24, 2025
Merged

chore: bump recommended elan version to 4.0.0#640
mhuisi merged 1 commit intomasterfrom
mhuisi/bump-minimum-elan-version

Conversation

@mhuisi
Copy link
Copy Markdown
Collaborator

@mhuisi mhuisi commented Jul 24, 2025

Elan 4.0.0 has been out for a while now, so we now issue a warning if the Elan version is older than that.

@mhuisi mhuisi merged commit e74069a into master Jul 24, 2025
2 checks passed
@mhuisi mhuisi deleted the mhuisi/bump-minimum-elan-version branch October 21, 2025 12:37
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