tree b8d01688a3d4cb86c30c68c17b380e91787765a0
parent 9f56f399957f3316e6ee2f05b932010742144bff
parent c66dfb9e4d40eb9f0b132ede0c902231924a075a
author Luca Milanesio <luca.milanesio@gmail.com> 1621283941 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1621284030 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Set version to 3.1.15
  Don't serve polygerrit assets for git requests
  Fix PUT/POST/DELETE REST-API with cookie authentication
  NoShellIT: Increase the timeout to avoid failures
  Set version to 3.1.14
  download_bower: download to GERRIT_CACHE_HOME

Change-Id: I036ccd8618372407b5c693fce599fb8b80db254d