Skip to content

added check if is_dirty is already set#215

Merged
PaulSchweizer merged 2 commits intomasterfrom
214-setting-is_dirty-on-a-node-with-a-lot-of-ancestors-is-quite-slow
Dec 10, 2025
Merged

added check if is_dirty is already set#215
PaulSchweizer merged 2 commits intomasterfrom
214-setting-is_dirty-on-a-node-with-a-lot-of-ancestors-is-quite-slow

Commits

Commits on Dec 10, 2025