chore: remove `UnindexinedProject` notification #17395

Merged

bors merged 1 commit intorust-lang:masterfrom davidbarsky:david/remove-unindexed-project-notification

Jul 23, 2024

+14-366

Commits on Jul 23, 2024

internal: remove UnindexedProject notification
davidbarsky
committed