| commit | c8074db31942de0a817dcbf8d7a0495d2f8e97fc | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Tue Jan 30 13:33:20 2018 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Tue Jan 30 13:33:20 2018 +0100 |
| tree | 29b7b587a142b6e5cd8116f3ef71f4cbf4788dbf | |
| parent | 66284f54fcb2630a3c4a34783928fbd8429efd22 [diff] |
Improved handling of jenkins uid and gid Change-Id: Id03fd8887515bbc502dfffc22d7335fd7b95d18d