From b2a3dfb4689cfc7a62214a2ae74d730dda5ebc25 Mon Sep 17 00:00:00 2001 From: Elias Zamaria Date: Thu, 4 Dec 2025 13:43:10 -0800 Subject: [PATCH] Fix "Christian Schulte" link on community page This PR has a very simple fix for a typo, to fix the link to Christian Schulte's website from the community page. --- community.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community.html b/community.html index a1c58b6ff..74ac5faef 100755 --- a/community.html +++ b/community.html @@ -59,7 +59,7 @@

Bugs

People

- Gecode was founded by Christian + Gecode was founded by Christian Schulte (KTH, Sweden), who led the development until his passing (ACP In