Added by Kostas Papadimitriou about 10 years ago
Merge branch 'master' into packaging
Conflicts: src/gr/grnet/pithos/web/public/pithos.css