Skip to content

Distinguish retrieved sources from cited references - #1268

Merged
Paul Lizer (paullizer) merged 2 commits into
Developmentfrom
paullizer-clarify-sources-and-citations
Aug 18, 2026
Merged

Distinguish retrieved sources from cited references#1268
Paul Lizer (paullizer) merged 2 commits into
Developmentfrom
paullizer-clarify-sources-and-citations

Bound citation matching patterns against ReDoS

b1ca1b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar