Skip to content

DRAFT: unimported-type import migration (source_reference_repoint) - #13548

Closed
gunbai-bot[bot] wants to merge 2 commits into
mainfrom
session/sharp-deer-755-unimported-type-import-migrate
Closed

gunbai-bot[bot] wants to merge 2 commits into
mainfrom
session/sharp-deer-755-unimported-type-import-migrate

Fix splice-applier witness: insert-at-brace keeps the space before `}`.

49a8221
Select commit
Loading
Failed to load commit list.