Don't use distinct background for code in headers when printing#2150
Merged
ehuss merged 1 commit intorust-lang:masterfrom Aug 3, 2023
Merged
Don't use distinct background for code in headers when printing#2150ehuss merged 1 commit intorust-lang:masterfrom
ehuss merged 1 commit intorust-lang:masterfrom
