git-svn-id: https://ejudge.ru/svn/ejudge/trunk/ejudge@7702 13e13086-cd15-0410-aeb9-89833061a40d


git-svn-id: https://ejudge.ru/svn/ejudge/trunk/ejudge@7703 13e13086-cd15-0410-aeb9-89833061a40d


git-svn-id: https://ejudge.ru/svn/ejudge/trunk/ejudge@7704 13e13086-cd15-0410-aeb9-89833061a40d


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