Release: judging batch overview + decimal scores + delete submission#188

sacha-l merged 3 commits into

mainStadiumDevs/stadium:mainfrom

developStadiumDevs/stadium:developCopy head branch name to clipboard