Skip to content

Faster substitutions with smart_subs_dict#3025

Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:faster_subs
Nov 12, 2025
Merged

Faster substitutions with smart_subs_dict#3025
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:faster_subs

Commits

Commits on Nov 12, 2025