Skip to content

Faster qualified name formatting#710

Merged
lpetre merged 1 commit intoInstagram:mainfrom
lpetre:fix_maybe_dotted_name
Jun 21, 2022
Merged

Faster qualified name formatting#710
lpetre merged 1 commit intoInstagram:mainfrom
lpetre:fix_maybe_dotted_name

Commits

Commits on Jun 21, 2022