Skip to content

Declare DefIndex with the newtype_index macro - #60934

Merged
bors merged 1 commit into
masterfrom
unknown repository
May 19, 2019
Merged

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

Commits

Commits on May 18, 2019