Skip to content

Ensure correct clean up for on-demand namespaces#786

Draft
vinistock wants to merge 1 commit into04-18-ensure_descendants_are_cleaned_up_when_removing_a_top_level_declarationfrom
04-18-ensure_correct_clean_up_for_on-demand_namespaces
Draft

Ensure correct clean up for on-demand namespaces#786
vinistock wants to merge 1 commit into04-18-ensure_descendants_are_cleaned_up_when_removing_a_top_level_declarationfrom
04-18-ensure_correct_clean_up_for_on-demand_namespaces

Conversation

@vinistock
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Member Author

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

This stack of pull requests is managed by Graphite. Learn more about stacking.

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