docs(help-wanted): #182 solved the next-uses-bare-name kit, but the docs still counted it as open - #202

Merged

joyful-ii-V-I merged 3 commits into

mainfrom

docs/help-wanted-solved-kit

Sep 12, 2026

Commits on Sep 12, 2026

docs(help-wanted): #182 solved the next-uses-bare-name kit, but the docs still counted it as open

joyful-ii-V-I
and
claude
committed
28f3bd8
merge(main): main at 0d1544d9, after #192 and #196 changed README.md

joyful-ii-V-I
and
claude
committed
1cea5af
docs(readme): the reference guide said only a missing --scip index refuses

joyful-ii-V-I
and
claude
committed
3a1efca