diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-18 07:31:24 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-06-18 07:31:24 +0100 |
| commit | 99e3acd1fec3cd9c1a77b029a4f4e6fce040c102 (patch) | |
| tree | 33d7ac893b83fa7f7dd93c53e69e24a1ab1f4f77 /editors | |
| parent | f5af48dc49dc4066a06e1b565c343de910131f40 (diff) | |
| parent | d1d0b5a88c666048c21fd225a08170fcc06060e5 (diff) | |
Merge #4934
4934: Remove special casing for library symbols r=matklad a=matklad
We might as well handle them internally, via queries.
I am not sure, but it looks like the current LibraryData setup might
even predate salsa? It's not really needed and creates a bunch of
complexity.
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions