[ARVADOS-DEV] updated: c8f73733982cac8dd55dbdca02e9f757875d469f

[Git user]

Summary of changes:
 jenkins/run_upload_packages.py | 1 +
 1 file changed, 1 insertion(+)

       via  c8f73733982cac8dd55dbdca02e9f757875d469f (commit)
      from  7a5ba380aebe7b6fb04ee6fb719a299d035ab4f4 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit c8f73733982cac8dd55dbdca02e9f757875d469f
Author: Nico Cesar <nico at curoverse.com>
Date:   Tue Jul 18 13:24:52 2017 -0400

    11980: debian9 as a new target
    
    refs #11980
    
    Arvados-DCO-1.1-Signed-off-by: Nico Cesar <nico at curoverse.com>

diff --git a/jenkins/run_upload_packages.py b/jenkins/run_upload_packages.py
index 38abd89..25c596a 100755
--- a/jenkins/run_upload_packages.py
+++ b/jenkins/run_upload_packages.py
@@ -186,6 +186,7 @@ rm "$@"
 """
     TARGET_DISTNAMES = {
         'debian8': 'jessie',
+        'debian9': 'stretch',
         'ubuntu1204': 'precise',
         'ubuntu1404': 'trusty',
         'ubuntu1604': 'xenial',

-----------------------------------------------------------------------


hooks/post-receive
--