Remove a stray ignore-tidy-undocumented-unsafe#76493
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 10, 2020
moonheart08:unique-quick
Merged
Remove a stray ignore-tidy-undocumented-unsafe#76493bors merged 1 commit intorust-lang:masterfrom moonheart08:unique-quick
bors merged 1 commit intorust-lang:masterfrom
moonheart08:unique-quick
