3 ms·
And a WIP PR even: https://github.com/zed-industries/zed/pull/11130 https://github.com/zed-industries/zed/pull/11130
by infogulch 2y ago
And a WIP PR even: https://github.com/zed-industries/zed/pull/11130 https://github.com/zed-industries/zed/pull/11130