Merge pull request #2236 from zed-industries/avoid-clobbering-panic-file

Avoid clobbering panic files when they happen at the same time
d14b684237Max Brunsfeld committed on 3/3/2023, 7:15:48 PM· committed by GitHubparents7a8cba0a598f0b
1 file changedLine totals unavailable