Skip to content

Prune parameter-free subtrees; reach param_source through the children hook - #125

Open
Transurgeon wants to merge 3 commits into
mainfrom
prune-param-free-refresh
Open

Prune parameter-free subtrees; reach param_source through the children hook#125
Transurgeon wants to merge 3 commits into
mainfrom
prune-param-free-refresh

Document the set_needs_refresh_children contract; fix a test comment

b9b5771
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
linux
succeeded Sep 19, 2026 in 41s