This sharding is never used (per the comment in code). If we re-add sharding at some point in the future this is cheap to restore, but for now no need for the extra complexity. |
||
|---|---|---|
| .. | ||
| caches.rs | ||
| config.rs | ||
| job.rs | ||
| mod.rs | ||
| plumbing.rs | ||
| README.md | ||
For more information about how the query system works, see the rustc dev guide.