tree ea4d85385c3c25afdce8ee7be53db2439104f409
parent 7364d4f2ab7e881b754649672e28e2078575980c
author Luca Prete <luca@onlab.us> 1498038014 +0200
committer Luca Prete <luca@onlab.us> 1498038167 -0700

Adding jenkins dev node name

Change-Id: Id2f3943167dd4c99b023d5497fe883ae284cf064
(cherry picked from commit ba98b9c942c2b2c9f063c97ec3ce4bbb90f2351c)
(cherry picked from commit 3010f0cf13c3c8e39e4c4e898d2e081aa57904b9)