Skip to content

Format more type annotations as type annotations#1494

Merged
nedtwigg merged 7 commits intodiffplug:mainfrom
mernst:more-type-annotations
Jan 17, 2023
Merged

Format more type annotations as type annotations#1494
nedtwigg merged 7 commits intodiffplug:mainfrom
mernst:more-type-annotations

Commits

Commits on Jan 16, 2023

Commits on Jan 17, 2023