Skip to content

Make comment about dummy type a bit more clear#64961

Merged
bors merged 2 commits intomasterfrom
spastorino-patch-1
Oct 2, 2019
Merged

Make comment about dummy type a bit more clear#64961
bors merged 2 commits intomasterfrom
spastorino-patch-1

Commits

Commits on Oct 1, 2019