Skip to content

Allow the mixing of rename and default var; fixes #587#589

Merged
liuzicheng1987 merged 2 commits intomainfrom
f/rename_default_var_fix
Jan 28, 2026
Merged

Allow the mixing of rename and default var; fixes #587#589
liuzicheng1987 merged 2 commits intomainfrom
f/rename_default_var_fix

Commits

Commits on Jan 27, 2026