Reload extensions more robustly when manually modifying installed extensions directory (#7749)
Release Notes: - N/A --------- Co-authored-by: Marshall <marshall@zed.dev>
M
Max Brunsfeld committed
c357e37dde01eec30dec81af14f5962d40956208
Parent: c317639
Committed by GitHub <noreply@github.com>
on 2/14/2024, 12:15:19 AM