https://github.com/zed-industries/zed/pull/21706 was merged after https://github.com/zed-industries/zed/pull/22004 and the CI missed that. Release Notes: - N/A
https://github.com/zed-industries/zed/pull/21706 was merged after https://github.com/zed-industries/zed/pull/22004 and the CI missed that. Release Notes: - N/A