tree 5a6706d3e8910fa6b76129636b7fa5f0a17c8d1a
parent 0106f40ba7a6bf5eef73e5527700062e62d311ee
parent 5b812e8b05624662ddf13a32b71bf87a77b6b865
author David Ostrovsky <david@ostrovsky.org> 1608737604 +0100
committer David Ostrovsky <david@ostrovsky.org> 1608737604 +0100

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  HttpSession: Align project name encoding with gerrit core

Change-Id: Ifd4089b0e316750d850b2a8c58f0ee4b91d1139f