Revert unintentional whitespace changes to rustfmt-excluded file#147742

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

Diggsey:db-fix-miri-whitespaceDiggsey/rust:db-fix-miri-whitespaceCopy head branch name to clipboard