Merge branch 'release-0.3' into debian-release-0.3
authorFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 09:25:37 +0000 (12:25 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 09:25:37 +0000 (12:25 +0300)
commitcf8f5f064f3e0a94b102e16d508811d115c938ab
tree152f4e62fac0949c88cb7883304cad8ff7727425
parentdc5da37719b09f76a196d37a124e46c083e32986
parentdf047a351626b3196bf9a7a10aa73939304fac2e
Merge branch 'release-0.3' into debian-release-0.3