Merge branch 'master' of https://github.com/cpoulain/codalab
Merge branch 'master' of https://github.com/cpoulain/codalab
Merge branch 'master' of https://github.com/cpoulain/codalab
Merge branch 'master' of https://github.com/codalab/codalab
Merge branch 'master' of https://github.com/cpoulain/codalab
Merge pull request #391 from cpoulain/master

Fix formatting issues in competition tiles
Merge branch 'master' of https://github.com/codalab/codalab