Skip to content

refactor: temporarily point jotai-devtools to rev3 branch#4

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

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

Conversation

@arjunvegda
Copy link
Copy Markdown
Member

@arjunvegda arjunvegda requested a review from dai-shi May 5, 2026 14:06
@dai-shi dai-shi merged commit 9cfc45c into main May 5, 2026
@arjunvegda arjunvegda deleted the refactor/point-jotai-devtools-rev3 branch May 5, 2026 14:10
dai-shi pushed a commit that referenced this pull request May 6, 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