Closed kalekundert closed 4 years ago
If two protocols share footnotes, don't duplicate those footnotes when merging the protocols.
If two protocols share footnotes, don't duplicate those footnotes when merging the protocols.