Merge pull request #1389 from zed-industries/no-gpu

Avoid panic when unable to access a GPU
b4392ec11cMax Brunsfeld committed on 7/18/2022, 10:08:58 PM· committed by GitHubparents59366a57998771
1 file changedLine totals unavailable