Make sure SIP numbers are used exactly once, and proposals use exactly one number#2390

Merged

julienrf merged 1 commit intoscala:mainfrom

scalacenter:fix-sip-numbers

May 4, 2022

Commits on May 4, 2022

Make sure SIP numbers are used exactly once, and proposals use exactly one number.
julienrf
committed