Skip to content

Load only LogDensityProblemsAD and weak dependency in extension#7

Merged
devmotion merged 2 commits intomasterfrom
dw/ext_imports
Feb 6, 2023
Merged

Load only LogDensityProblemsAD and weak dependency in extension#7
devmotion merged 2 commits intomasterfrom
dw/ext_imports

Conversation

@devmotion
Copy link
Collaborator

@devmotion devmotion requested a review from tpapp February 6, 2023 09:18
Copy link
Owner

@tpapp tpapp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@devmotion devmotion merged commit aea598e into master Feb 6, 2023
@devmotion devmotion deleted the dw/ext_imports branch February 6, 2023 09:31
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