config: Add Configuration for Progress Reporting Verbosity#16700

Closed

davidbarsky wants to merge 1 commit intorust-lang:masterfrom davidbarsky:david/less-obstrusive-indexing-notifications

+58-9

Commits on Feb 27, 2024

config: add toggle to reduce progress reporting verbosity
davidbarsky
committed