tree 5293c81701f181089f03f25f014aa1ea4866d017
parent bf8c1b84e8cd00406d5bdce793b0db2770de58ed
parent 2b480857a41ab25f8a450fde3716b7113f80093d
author Luca Milanesio <luca.milanesio@gmail.com> 1526383459 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1526383459 +0100

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Use /dev/urandom to speedup Server startup
  Run reindex on Ubuntu 16
  Set Gerrit to v2.14.8
  Set Gerrit to  v2.14.7
  Set Gerrit to  v2.14.6
  Set Gerrit to  v2.14.5.1
  Set Gerrit to  v2.14.4

Change-Id: I139d3bfb318619aff9629e8e1d0085c121ed203d