docs: add Git notes correcting recent commit messages#13136

Planeshifter wants to merge 1 commit into

developstdlib-js/stdlib:developfrom

philipp/git-notes-20260625stdlib-js/stdlib:philipp/git-notes-20260625Copy head branch name to clipboard