Merge branch 'master' into debian debian/0.3.1
authorFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 16:08:11 +0000 (19:08 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 16:08:11 +0000 (19:08 +0300)
Conflicts:
version


Trivial merge