Assume no configuration target as new default#2982

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

vmcj:swap_default_configure_targetvmcj/domjudge:swap_default_configure_targetCopy head branch name to clipboard