Skip to content

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

Merged
bors merged 2 commits intorust-lang:masterfrom
phansch:diag
Apr 17, 2020
Merged

Cleanup: Rename 'db' variables to 'diag'#5482
bors merged 2 commits intorust-lang:masterfrom
phansch:diag

Commits

Commits on Apr 17, 2020