Skip to content

media: use ASCII in the general-enclosed comments#195

Closed
samoht wants to merge 1 commit into
mainfrom
ascii-general-enclosed-comments
Closed

media: use ASCII in the general-enclosed comments#195
samoht wants to merge 1 commit into
mainfrom
ascii-general-enclosed-comments

Conversation

@samoht

@samoht samoht commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Follow-up to #192. The <general-enclosed> comments used the section-sign glyph for their spec references, and two of them had picked up a double-encoded copy of it. Spell the references "sec. 3.1" in ASCII.

The section references were written with the section-sign glyph, and two
had picked up a double-encoded copy of it. Spell them "sec. 3.1".
@samoht

samoht commented Jul 24, 2026

Copy link
Copy Markdown
Owner Author

Superseded by #196, which converts the general-enclosed comments (and the rest of the tree) to ASCII in one pass.

@samoht samoht closed this Jul 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant