This repository was archived by the owner on May 3, 2026. It is now read-only.

String api additions, cleanup and docs#2

Open

nick-bors wants to merge 5 commits into

mainfrom

Commits on Apr 13, 2026

change: string api cleanup and new attributes
nick-bors
committed