| commit | 3010f0cf13c3c8e39e4c4e898d2e081aa57904b9 | [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:41:56 2017 -0700 |
| tree | cb6d6e55f6fae7df635c52417d9ddc0b06dda62b | |
| parent | 8fdf83682f03741ab03b783ae745fba521363b6d [diff] |
Adding jenkins dev node name Change-Id: Id2f3943167dd4c99b023d5497fe883ae284cf064 (cherry picked from commit ba98b9c942c2b2c9f063c97ec3ce4bbb90f2351c)