Skip to content

Comments

deduplication: ignore periods when comparing names#1718

Merged
orangejulius merged 1 commit intomasterfrom
deduplicate-punctuation
Jan 9, 2026
Merged

deduplication: ignore periods when comparing names#1718
orangejulius merged 1 commit intomasterfrom
deduplicate-punctuation

Commits

Commits on Dec 29, 2025