v8.13.0

8.13.0 (2025-02-28)

Features

• ErrorBoundary: rework error page (#1983) (4a97195)
• make links from disk pop-up better (#1986) (336d74b)
• redesign query (#1974) (9ac8cfc)
• resource pool – add proper icon (#1982) (9c0c6f8)

Bug Fixes

• rename tabs in query result (#1987) (b9d9f0b)
• tests (#1988) (519f587)