Don't synthesize feature directives for non-optional deps#7010
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 5, 2019
Merged
Don't synthesize feature directives for non-optional deps#7010bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom