rustdoc: clean up write! calls with less stuttering#107864
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 11, 2023
Merged
rustdoc: clean up write! calls with less stuttering#107864bors merged 1 commit intorust-lang:masterfrom
write! calls with less stuttering#107864bors merged 1 commit intorust-lang:masterfrom