PR #42844 [modular] Fix a weird renaming edge-case - SemanticDiff

[modular] Fix a weird renaming edge-case #42844

Cyrilvallez wants to merge 1 commit into main from fix-modular-suffix

Cyrilvallez

HuggingFaceDocBuilderDev

Cyrilvallez

clean fix

06853605

Cyrilvallez

Cyrilvallez force pushed from 1eef0904 to 06853605 1 day ago

sbucaille

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone