Skip to content

Network name header, notifications, ping controls, and resource search - #2

Merged
urhend merged 15 commits into
mainfrom
production
Aug 1, 2026
Merged

urhend merged 15 commits into
mainfrom
production

Strip explanatory comments from extension.js

1e5c0a8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
validate
succeeded Aug 1, 2026 in 18s