feature: Create `UnindexedProject` notification to be sent to the client#15863

Merged

bors merged 1 commit intorust-lang:masterfrom davidbarsky:davidbarsky/start-of-monorepo-mode

Feb 8, 2024

+262-8

Commits on Feb 8, 2024

feature: Add a UnindexedProject notification and a corresponding setting.
davidbarsky
committed