Update patch set 1

Patch Set 1:

> Do not merge this until the meeting chairs have given their
 > approval.

I was going to say something very similar ;P

I'm +2 on this but for sake of accident prevention I wont vote as such.

Thanks Thierry!

Patch-set: 1
Label: Verified=0
This commit is contained in:
Gerrit User 12898 2018-12-21 06:14:13 +00:00 committed by Gerrit Code Review
parent ddcf8ed73c
commit b805a9d922

Diff Content Not Available