Skip to content

get rid of __ in field names#67094

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:fields
Dec 7, 2019
Merged

get rid of __ in field names#67094
bors merged 1 commit intorust-lang:masterfrom
RalfJung:fields

Commits

Commits on Dec 6, 2019