diff options
| author |   Andrew Grimberg <agrimberg@linuxfoundation.org> | 2016-09-08 16:44:55 -0700 |
|---|---|---|
| committer | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2016-09-08 16:44:55 -0700 |
| commit | 7bfcbf97135763827a50c45b6a30c4da999dba2a (patch) | |
| tree | 9dae61223a019a33296437d8db879b438dd65255 /vagrant | |
| parent | 20148d10ab4d0753ca16e058b52e3d0a25dab08b (diff) | |
Make sure jjb merge builds HEAD
Change-Id: I225759b448aaa8d2599ac6ae7ae7ec6c66b51083
Signed-off-by: Andrew Grimberg <agrimberg@linuxfoundation.org>
Diffstat (limited to 'vagrant')
0 files changed, 0 insertions, 0 deletions