tmp checkin
Merge branch 'update_ranking' of github.com:gramie-sw/ggp2 into update_ranking