Skip to content

chore: rename PageIssueSubscriber to PageEventSubscriber#872

Merged
szuend merged 1 commit intomainfrom
rename-page-issue-subscriber
Feb 3, 2026
Merged

chore: rename PageIssueSubscriber to PageEventSubscriber#872
szuend merged 1 commit intomainfrom
rename-page-issue-subscriber

Conversation

@szuend
Copy link
Copy Markdown
Contributor

@szuend szuend commented Feb 3, 2026

No description provided.

@szuend szuend requested a review from OrKoN February 3, 2026 09:15
@szuend szuend added this pull request to the merge queue Feb 3, 2026
Merged via the queue into main with commit 613ba24 Feb 3, 2026
20 checks passed
@szuend szuend deleted the rename-page-issue-subscriber branch February 3, 2026 09:43
wolfib pushed a commit to wolfib/chrome-devtools-mcp that referenced this pull request Mar 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants