Remove extra space before comma#169

flauschpantoffel wants to merge 1 commit intosouffle-lang:mastersouffle-lang/souffle-lang.github.io:masterfrom

flauschpantoffel:patch-1flauschpantoffel/souffle-lang.github.io:patch-1Copy head branch name to clipboard