Skip to content

Remove remnant of dotty 0.27.0-RC1#330

Merged
SethTisue merged 1 commit into1.2.xfrom
Philippus-patch-1
Dec 4, 2020
Merged

Remove remnant of dotty 0.27.0-RC1#330
SethTisue merged 1 commit into1.2.xfrom
Philippus-patch-1

Commits

Commits on Dec 4, 2020