Merge pull request #682 from greendeath/master

Bugfix:
This commit is contained in:
Darko Poljak 2018-07-23 08:11:16 +02:00 committed by GitHub
commit 0e9ba29850
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,7 +9,7 @@ case $os in
8*|jessie)
apt_source_distribution=jessie
;;
9*|ascii/ceres)
9*|ascii/ceres|ascii)
apt_source_distribution=stretch
;;
*)