Skip to content

Make generate_fun_data.sh POSIX compliant#2

Merged
UncleGrumpy merged 2 commits into
mainfrom
WIP
May 17, 2026
Merged

Make generate_fun_data.sh POSIX compliant#2
UncleGrumpy merged 2 commits into
mainfrom
WIP

Commits

Commits on May 17, 2026