git-svn-id: https://ejudge.ru/svn/ejudge/trunk/ejudge@7687 13e13086-cd15-0410-aeb9-89833061a40d
Merge branch 'svn-master' into git-master