various editorial changes for comparisons#2877

Merged

ljharb merged 1 commit intomainfrom comparison-consistency

Jan 27, 2023

Commits on Jan 27, 2023

Editorial: various editorial changes for comparisons (#2877 )

authored and
ljharb
committed