Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #123142 - Nilstrieb:nils-knows-whats-happening, r=com…
…piler-errors Let nils know about changes to target docs i'll probably expand the paths and add a message after #121051 but i honestly don't expect that to land very soon lol, so it would be nice to get notified about changes already and watch what's happening there approve this pr if you're cool
- Loading branch information