Skip to content

downgrade jotai -- causes major issue with codeedit#862

Merged
sawka merged 1 commit intomainfrom
sawka/downgrade-jotai
Sep 26, 2024
Merged

downgrade jotai -- causes major issue with codeedit#862
sawka merged 1 commit intomainfrom
sawka/downgrade-jotai

Commits

Commits on Sep 26, 2024