Merge pull request #2339 from zed-industries/revert

Revert "Merge pull request #2335 from zed-industries/dont-delete-json…
0ae298a86fJulia committed on 3/31/2023, 7:33:12 PM· committed by GitHubparentsf616e8b0f4f3bf
1 file changedLine totals unavailable