tree 8a99f78ee47d8114cff962820e280c2f79be9d56
parent c77b2148c2a2414564736ae583712b8a75e503f5
parent bfe4faa7c2705f99ca8296aa5409974ec9d1bdc9
author Luca Milanesio <luca.milanesio@gmail.com> 1591610449 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591610449 +0100

Merge branch 'stable-3.2'

* stable-3.2:
  Set version to 3.2.1
  Fix repositories listing by checking Gerrit repo with Optional
  Bump version to v3.1.4 to match Gerrit
  Adopt new replication configuration structure

Change-Id: I7d8618be9a20f1ebef382190c815af4e57a1ae3b