tree cb6d6e55f6fae7df635c52417d9ddc0b06dda62b
parent b6751e04731e425f02041aba4b209882fdf210e0
author Luca Prete <luca@onlab.us> 1498038014 +0200
committer Luca Prete <luca@onlab.us> 1498038033 +0200

Adding jenkins dev node name

Change-Id: Id2f3943167dd4c99b023d5497fe883ae284cf064