⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Fix "Christian Schulte" link on community page#4

Open
elias6 wants to merge 1 commit intoGecode:masterfrom
elias6:patch-1
Open

Fix "Christian Schulte" link on community page#4
elias6 wants to merge 1 commit intoGecode:masterfrom
elias6:patch-1

Commits

Commits on Dec 4, 2025