Turn off innodb-snapshot-isolation.#3171

meisterT wants to merge 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:ci_snapshotmeisterT/domjudge:ci_snapshotCopy head branch name to clipboard