Merge branch 'release-0.2' into debian-release-0.2
authorFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 May 2013 09:29:02 +0000 (12:29 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 May 2013 09:29:02 +0000 (12:29 +0300)
commit3efd9ff9510261c0447ecf7598849237545cf9a9
treed600cfb01d43f8107ca716316dd71d63a0fc4c56
parentc992d813a6fb3688f7bacfef5f962925a7c89c07
parent2b91a67a55cdd9b6a16fd54e3e87389aa181a7ee
Merge branch 'release-0.2' into debian-release-0.2