Skip to content

Ensure correct clean up for on-demand namespaces#786

Draft
vinistock wants to merge 1 commit into
04-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 into
04-18-ensure_descendants_are_cleaned_up_when_removing_a_top_level_declarationfrom
04-18-ensure_correct_clean_up_for_on-demand_namespaces

Commits

Commits on May 4, 2026