Merge branch 'debian-release-0.2' into debian
authorFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 May 2013 09:30:10 +0000 (12:30 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 May 2013 09:30:10 +0000 (12:30 +0300)
commit5f1a5638616f8b46ba2606203cead8a239f04455
treed600cfb01d43f8107ca716316dd71d63a0fc4c56
parent98c435738da4710d9a4851fb8796d6354312697e
parent3efd9ff9510261c0447ecf7598849237545cf9a9
Merge branch 'debian-release-0.2' into debian