Proposal: Explicit importance/pin signal to replace the structural heuristic (idea #5) - #85
Draft
Dithilli wants to merge 1 commit into
Draft
Proposal: Explicit importance/pin signal to replace the structural heuristic (idea #5)#85Dithilli wants to merge 1 commit into
Dithilli wants to merge 1 commit into