Skip to content

Revert "refactor: temporarily point jotai-devtools to rev3 branch"#5

Merged
dai-shi merged 1 commit into
mainfrom
revert-4-refactor/point-jotai-devtools-rev3
May 6, 2026
Merged

Revert "refactor: temporarily point jotai-devtools to rev3 branch"#5
dai-shi merged 1 commit into
mainfrom
revert-4-refactor/point-jotai-devtools-rev3

Conversation

@arjunvegda
Copy link
Copy Markdown
Member

Reverts #4 now that jotaijs/jotai-devtools#218 PR is merged

@dai-shi dai-shi merged commit 5c3b197 into main May 6, 2026
@dai-shi dai-shi deleted the revert-4-refactor/point-jotai-devtools-rev3 branch May 6, 2026 21:28
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