tree a593b3d14ade97f496babc7112a382a0d6b926c9
parent 733f2947121ed059998283474062291b432f3b5a
author Jakub Josef <jakub.josef@gmail.com> 1493907523 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1493907523 +0200

Add sudo permissions for jenkins user

Change-Id: I838362aff5eae55e1052d54f722d96c94a56117d