Merge branch 'develop' into release-0.7
authorStavros Sachtouris <saxtouri@admin.grnet.gr>
Tue, 19 Feb 2013 13:49:30 +0000 (15:49 +0200)
committerStavros Sachtouris <saxtouri@admin.grnet.gr>
Tue, 19 Feb 2013 13:49:30 +0000 (15:49 +0200)

Trivial merge