Sync SIPs from scala/improvement-proposals#1
Open
github-actions[bot] wants to merge 1 commit intomainfrom
Open
Sync SIPs from scala/improvement-proposals#1github-actions[bot] wants to merge 1 commit intomainfrom
github-actions[bot] wants to merge 1 commit intomainfrom