Skip to content
This repository was archived by the owner on Jun 13, 2024. It is now read-only.

Re-enable deferred loading #731

Merged
merged 3 commits into from
Jul 11, 2022
Merged

Re-enable deferred loading #731

merged 3 commits into from
Jul 11, 2022

Conversation

guidezpl
Copy link
Member

@guidezpl guidezpl commented Jul 7, 2022

Fixes #518

@guidezpl guidezpl requested a review from GaryQian July 7, 2022 16:26
GaryQian
GaryQian approved these changes Jul 11, 2022
View reviewed changes
Copy link
Contributor

@GaryQian GaryQian left a comment

Choose a reason for hiding this comment

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

Lgtm!

@guidezpl guidezpl merged commit 9212aec into main Jul 11, 2022
@guidezpl guidezpl deleted the guidezpl-patch-1 branch July 11, 2022 17:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
1 more reviewer

@GaryQian GaryQian GaryQian approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Re-enable deferred loading
2 participants
@guidezpl @GaryQian