Skip to content

Add a dash after the identifier in pdict#347

Merged
inducer merged 1 commit intoinducer:mainfrom
alexfikl:update-pdict-name
Feb 22, 2026
Merged

Add a dash after the identifier in pdict#347
inducer merged 1 commit intoinducer:mainfrom
alexfikl:update-pdict-name

Commits

Commits on Feb 22, 2026