bors ee5cb9e3a6 Auto merge of #114915 - nnethercote:Nonterminal-cleanups, r=petrochenkov ... `Nonterminal`-related cleanups In #114647 I am trying to remove `Nonterminal`. It has a number of preliminary cleanups that are worth merging even if #114647 doesn't merge, so let's do them in this PR. r? `@petrochenkov`		2023-08-18 16:07:40 +00:00
..
src	Auto merge of #114915 - nnethercote:Nonterminal-cleanups, r=petrochenkov	2023-08-18 16:07:40 +00:00
Cargo.toml	Remove a bool for color in favor of the WriteColor trait wrapping colored and uncolored printing	2023-07-31 09:34:36 +00:00
messages.ftl