Cleanup: Rename 'db' variables to 'diag' - #5482

Merged

bors merged 2 commits into

rust-lang:masterfrom

Apr 17, 2020

Commits on Apr 17, 2020

Cleanup: Rename 'db' variable to 'diag'
phansch
committed
870ae36
cargo dev fmt
phansch
committed
eb7ad1c