Move some pure formatting changes out of #1863#1908
Merged
bors[bot] merged 1 commit intonix-rust:masterfrom Dec 4, 2022
Merged
Move some pure formatting changes out of #1863#1908bors[bot] merged 1 commit intonix-rust:masterfrom
bors[bot] merged 1 commit intonix-rust:masterfrom
