diff options
author | Vincent Ambo <mail@tazj.in> | 2021-08-28T11·31+0300 |
---|---|---|
committer | tazjin <mail@tazj.in> | 2021-08-28T15·32+0000 |
commit | fe225d48a18f722c03e31fdeb9c6c6c4ac6bb9d8 (patch) | |
tree | 027383b912447ccaf3b4a0b42e3dbb2c77fad84b /third_party/rapidcheck | |
parent | 0c1b8f954ebecc4fd0db53a559acaaeaa7c80824 (diff) |
feat(3p/gerrit): Upgrade Gerrit and plugins to v3.4.0 r/2798
Brings us back to a stable version of Gerrit instead of a random commit. Note that Gerrit 3.4.1 is out, but due to a bug it can not be built publicly because it accidentally points at a private submodule (this is being fixed upstream). Change-Id: I0376c63a649498cef999dfa99bfccba511f2c8da Reviewed-on: https://cl.tvl.fyi/c/depot/+/3444 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
Diffstat (limited to 'third_party/rapidcheck')
0 files changed, 0 insertions, 0 deletions