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.

Sign up for GitHub

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

Jump to bottom

fix: disable devtool #967

Merged

marknguyen1302 merged 1 commit into dev from fix/disable-devtool

Aug 2, 2024

Contributor

marknguyen1302 commented Aug 2, 2024

Describe Your Changes

disable devtool

Fixes Issues

Closes #
Closes #

Self Checklist

Added relevant comments, esp in complex areas
Updated docs (for bug fixes / features)
Created issues for follow-up changes or refactoring needed


          fix: disable devtool

838e5d2

marknguyen1302 requested a review from louis-jan

August 2, 2024 08:37

louis-jan approved these changes

View reviewed changes

Contributor

louis-jan left a comment

LGTM

marknguyen1302 merged commit f206f31 into dev

1 check passed

marknguyen1302 deleted the fix/disable-devtool branch

August 2, 2024 08:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet