Skip to content

Promote synthetic definitions into normal definitions if they share names#404

Merged
olafurpg merged 1 commit intosourcegraph:mainfrom
olafurpg:semi-synthetic-definitions
Feb 28, 2022
Merged

Promote synthetic definitions into normal definitions if they share names#404
olafurpg merged 1 commit intosourcegraph:mainfrom
olafurpg:semi-synthetic-definitions

Commits

Commits on Feb 25, 2022