Skip to content

Declare DefIndex with the newtype_index macro#60934

Merged
bors merged 1 commit intomasterfrom
unknown repository
May 19, 2019
Merged

Declare DefIndex with the newtype_index macro#60934
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on May 18, 2019