diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-05-25 23:08:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 23:08:32 -0400 |
| commit | a3446579ec44a9218e95b09258bf1515073039e9 (patch) | |
| tree | 907d961dfe7befc9260c3c05f15704b4ef4990f3 /components/webgpu | |
| parent | 599ef5d12c69c0a4e3e215f0d370ff84f1c80d57 (diff) | |
| parent | 97eaea4e6801c674127af28168c4dc165a61c173 (diff) | |
| download | servo-a3446579ec44a9218e95b09258bf1515073039e9.tar.gz servo-a3446579ec44a9218e95b09258bf1515073039e9.zip | |
Auto merge of #26421 - Eijebong:remove-influent, r=jdm
Remove influxDB support for profile
It's apparently unused. Influent is unmaintained. Let's remove it
Diffstat (limited to 'components/webgpu')
0 files changed, 0 insertions, 0 deletions