commit | 96841effa412abb0ed0407d5d842db62bd83c59d | [log] [tgz] |
---|---|---|
author | Luca Prete <luca@onlab.us> | Wed Jun 21 11:40:14 2017 +0200 |
committer | Luca Prete <luca@onlab.us> | Wed Jun 21 02:42:47 2017 -0700 |
tree | ea4d85385c3c25afdce8ee7be53db2439104f409 | |
parent | 7364d4f2ab7e881b754649672e28e2078575980c [diff] |
Adding jenkins dev node name Change-Id: Id2f3943167dd4c99b023d5497fe883ae284cf064 (cherry picked from commit ba98b9c942c2b2c9f063c97ec3ce4bbb90f2351c) (cherry picked from commit 3010f0cf13c3c8e39e4c4e898d2e081aa57904b9)