Markup: rendering edits for 2025 edition & beyond #3623
bakkot
approved these changes
on 2025-06-25
bakkot
commented
on 2025-08-26
Markup: rendering edits for 2025 edition & beyond (#3623)
11d9dc66
ljharb
force pushed
from
82c9e1bf
to
11d9dc66
127 days ago
ljharb
merged
11d9dc66
into main 127 days ago
gesa
deleted the pdf-2025 branch 127 days ago
Assignees
No one assigned
Labels
ready to merge
markup
Login to write a write a comment.
Login via GitHub