Add stretch and make it default

Stretch was just released: https://www.debian.org/News/2017/20170617 Closes #32
2026-06-04 10:13:55 +08:00 · 2017-06-18 12:03:28 +01:00
parent 79752bbb14
commit fad19490cb
4 changed files with 9 additions and 6 deletions
@@ -5,6 +5,7 @@ set -u
 set -o pipefail

 DISTS="jessie
+stretch
 unstable
 latest
 "