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

juliasilge merged 2 commits into

mainquarto-dev/quarto:mainfrom

chore/ignore-prosemirror-dev-tools-for-realquarto-dev/quarto:chore/ignore-prosemirror-dev-tools-for-realCopy head branch name to clipboard