Skip to content

Separate deps and weakdeps in Project.toml#323

Merged
aplavin merged 1 commit intomasterfrom
jishnub/extensions_deps
Feb 23, 2025
Merged

Separate deps and weakdeps in Project.toml#323
aplavin merged 1 commit intomasterfrom
jishnub/extensions_deps

Conversation

@jishnub
Copy link
Member

@jishnub jishnub commented Dec 2, 2024

Given that this package only supports julia v1.10+ on master, we don't need to support treating weakdeps as explicit dependencies anymore. We also may remove the old code that loads the extension files explicitly if extensions are unsupported.

@aplavin
Copy link
Member

aplavin commented Feb 23, 2025

makes total sense!

@aplavin aplavin merged commit 83f4011 into master Feb 23, 2025
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.

2 participants