Skip to content

rustdoc-json: Fix has_body#81318

Merged
bors merged 2 commits intorust-lang:masterfrom
CraftSpider:json-trait-fix
Feb 5, 2021
Merged

rustdoc-json: Fix has_body#81318
bors merged 2 commits intorust-lang:masterfrom
CraftSpider:json-trait-fix

Commits

Commits on Jan 29, 2021