Update patch set 1

Change has been successfully merged by Pau Espin Pedrol

Patch-set: 1
Status: merged
Submission-id: 5704-1515579034549-31451618
This commit is contained in:
Gerrit Code Review 2018-01-10 10:10:35 +00:00
parent e2f2704324
commit 91b08ce691

Diff Content Not Available