Only a minority of DXR users need these repos, and they shouldn't be taking up so much space.
Status: NEW → RESOLVED
Last Resolved: 3 years ago
Resolution: --- → DUPLICATE
Duplicate of bug: 1195507
You need to log in before you can comment on or make changes to this bug.