Skip to content

Ignore prosemirror-dev-tools merge advisory for real - #1075

Merged
juliasilge merged 2 commits into
mainfrom
chore/ignore-prosemirror-dev-tools-for-real
Aug 3, 2026
Merged

Ignore prosemirror-dev-tools merge advisory for real#1075
juliasilge merged 2 commits into
mainfrom
chore/ignore-prosemirror-dev-tools-for-real

Merged origin/main into chore/ignore-prosemirror-dev-tools-for-real

44eec2d
Select commit
Loading
Failed to load commit list.