Editorial: Reword introductory prose #3735
bakkot
approved these changes
on 2025-12-10
Editorial: Reword introductory prose (#3735)
73db08b3
Editorial: Remove irrelevant sentence (#3735)
d237611b
ljharb
force pushed
from
1fc44561
to
d237611b
26 days ago
ljharb
merged
d237611b
into main 26 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub