Skip to content

Fix header-ids extra generating duplicate ids (#661)#713

Merged
nicholasserra merged 3 commits into
trentm:masterfrom
apoorvdarshan:fix/header-ids-duplicate-661
Jul 20, 2026
Merged

Fix header-ids extra generating duplicate ids (#661)#713
nicholasserra merged 3 commits into
trentm:masterfrom
apoorvdarshan:fix/header-ids-duplicate-661