Fix "Christian Schulte" link on community page#4

elias6 wants to merge 1 commit intoGecode:masterGecode/gecode.github.io:masterfrom

elias6:patch-1elias6/gecode.github.io:patch-1Copy head branch name to clipboard