Merge branch 'debian-feature-stripxseg' into debian-develop
authorFilippos Giannakos <philipgian@grnet.gr>
Mon, 24 Feb 2014 13:00:38 +0000 (15:00 +0200)
committerFilippos Giannakos <philipgian@grnet.gr>
Mon, 24 Feb 2014 13:00:38 +0000 (15:00 +0200)

Trivial merge