emeryberger merged plasma-umass/scalene#1081 · July 1, 2026 13:13 Formal: HANDOFF bookkeeping — all formal PRs merged (clears stale §3b) #1081 Docs-only. Master's HANDOFF still listed #1078 as an open PR and omitted #1080; this clears §3b to 'none open' and records #1078 + #1080 as merged.… +9 -6