Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove browser devtools option #867

Closed
Tracked by #854
ka3de opened this issue May 3, 2023 · 0 comments · Fixed by #868
Closed
Tracked by #854

Remove browser devtools option #867

ka3de opened this issue May 3, 2023 · 0 comments · Fixed by #868
Assignees
Labels
breaking PRs that need to be mentioned in the breaking changes section of the release notes

Comments

@ka3de
Copy link
Collaborator

ka3de commented May 3, 2023

No description provided.

@ka3de ka3de self-assigned this May 3, 2023
@ka3de ka3de added the breaking PRs that need to be mentioned in the breaking changes section of the release notes label May 3, 2023
@ka3de ka3de closed this as completed in #868 May 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
breaking PRs that need to be mentioned in the breaking changes section of the release notes
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant