Skip to content

Allow users to provide a custom label for duplicate names#13908

Open
nkr0 wants to merge 1 commit intosphinx-doc:masterfrom
nkr0:duplicateNamecustomLabel
Open

Allow users to provide a custom label for duplicate names#13908
nkr0 wants to merge 1 commit intosphinx-doc:masterfrom
nkr0:duplicateNamecustomLabel

Commits

Commits on Oct 17, 2025