debian/1.8.0-1

Daniel Baumann

@daniel

bb1cbb2c · Releasing debian version 1.8.0-1. · Nov 12, 2010

Tagging debian version 1.8.0-1.