use archive.debian.org for stretch sources.list#1466

scottleibrand wants to merge 2 commits intodevopenaps/oref0:devfrom

stretch-archiveopenaps/oref0:stretch-archiveCopy head branch name to clipboard