tree cb6d6e55f6fae7df635c52417d9ddc0b06dda62b
parent 8fdf83682f03741ab03b783ae745fba521363b6d
author Luca Prete <luca@onlab.us> 1498038014 +0200
committer Luca Prete <luca@onlab.us> 1498038116 -0700

Adding jenkins dev node name

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