Label project ideas filled/closed in 2022 (!63) · Merge requests · sat-mtl / collaborations / Google Summer Of Code · GitLab

Christian Frisson requested to merge 71-label-project-ideas-filled-in-2022 into main Feb 01, 2023

Closes #71 (closed)