Fix typos in tools/strip-lib.py#17

Merged

kristjanvalur merged 1 commit intomasterfrom

copilot/fix-typos-in-strip-lib-py

Mar 28, 2026

Commits on Mar 28, 2026

fix typos in strip-lib.py

Copilot
and
kristjanvalur
authored