fix(types): mitigate devtools typing#2099

Merged

dai-shi merged 2 commits intomainfrom fix/types/devtools-extension

Oct 5, 2023

+1-1

Commits on Oct 4, 2023

fix(types): mitigate devtools typing
dai-shi
committed

Commits on Oct 5, 2023

Merge branch 'main' into fix/types/devtools-extension
dai-shi
authored