![]() This was a mistake from long ago - something I've been meaning to fix for a long time. All other events use `display_name()`, but panic events, which leads to mistakes when filtering out `Zed Dev`, which isn't the format that `dev_name()` returns. I'm adding a fix to zed.dev as well: - https://github.com/zed-industries/zed.dev/pull/393 so that the values are adjusted for all clients, not just ones with this fix. I will correct the data in clickhouse, and adjust the queries in metabase. Release Notes: - N/A |
||
---|---|---|
.. | ||
resources | ||
src | ||
build.rs | ||
Cargo.toml | ||
RELEASE_CHANNEL |