tree d1a2fda04dc904a1b2fb9ba404908a466f82eb88
parent 21eb13a40166b68a80aff39fe16dbdb710ab4142
author Luca Milanesio <luca.milanesio@gmail.com> 1755210103 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1755210155 -0700

Set Gerrit 3.12.2 as latest version

Change-Id: I216fcfa22d5fbd224acecfd62789fe099255d414