Added by Stavros Sachtouris almost 10 years ago
Merge branches 'develop' and 'debian-develop' into debian-develop