Skip to content

Modernize orthography of prompt_toolkit filters#1827

Merged
rolandwalker merged 1 commit intomainfrom
RW/modernize-prompt-toolkit-filters
Apr 8, 2026
Merged

Modernize orthography of prompt_toolkit filters#1827
rolandwalker merged 1 commit intomainfrom
RW/modernize-prompt-toolkit-filters

Commits

Commits on Apr 7, 2026