Skip to content

RFC for now, save the special_tokens_mapping #1874

Draft
ArthurZucker wants to merge 2 commits intomainfrom
extra-tokens
Draft

RFC for now, save the `special_tokens_mapping` #1874
ArthurZucker wants to merge 2 commits intomainfrom
extra-tokens

Commits

Commits on Oct 7, 2025

Commits on Oct 8, 2025