tree ad60a851c26e46f104249a16d8e7219bbb67db75
parent d0f905c7664d352eacc0b228a16f9599059098e2
parent cea98fc6c3dd849f841ee1a928004c9124ba8d38
author David Ostrovsky <david@ostrovsky.org> 1654251358 +0200
committer David Ostrovsky <david@ostrovsky.org> 1654251358 +0200

Merge branch 'stable-3.3' into stable-3.4

* stable-3.3:
  Fix gerrit module name

Change-Id: Id8c9bdd5b974ecf5129381b1a96784ad6dfbb038