Skip to content

Pinned back references and pinned numbered references are not allowed - #4189

Merged
kddnewton merged 1 commit into
mainfrom
pinned-back-numbered-references
Jul 29, 2026
Merged

Pinned back references and pinned numbered references are not allowed#4189
kddnewton merged 1 commit into
mainfrom
pinned-back-numbered-references

Commits

Commits on Jul 29, 2026