Skip to content

fix: account for global block in is_empty#14677

Merged
dummdidumm merged 1 commit intomainfrom
global-root-empty
Dec 11, 2024
Merged

fix: account for global block in `is_empty`#14677
dummdidumm merged 1 commit intomainfrom
global-root-empty

Commits

Commits on Dec 11, 2024