tree 7f515c2021edb82daf671dcbb15a35c578b2322f
parent 8856f6fdb0c400eff3bc72f7795e94af9295214b
parent a8e9269edf70eb2ae17026a96a5f095d8bb15afd
author Luca Milanesio <luca.milanesio@gmail.com> 1573228315 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1573228315 +0000

Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Set Gerrit to 2.15.18
  Set Gerrit to 2.15.17

Change-Id: Ia7b5d4fe13a1d0a7f267862f7310b827d4ff4f79