Contributors to 2013-10-01 Find out Debian release name in one line