diff options
author | Linus Heckemann <git@sphalerite.org> | 2023-10-08T15·58+0200 |
---|---|---|
committer | Linus Heckemann <git@sphalerite.org> | 2023-10-13T17·14+0000 |
commit | b1ab8075cd70b66b98622f5dc1b1d04cb60c7f79 (patch) | |
tree | e45f71126c246bc0b81ddb9866a6ce64701fe9e4 /third_party/gerrit/0003-Add-titles-to-CLs-over-HTTP.patch | |
parent | 64beaab16338518b016a151196b8305604ec0764 (diff) |
docs(tvix/castore): point out use of contents_first r/6796
Change-Id: I7620d2abe01675ea7028a478d4f8447e36d5768b Reviewed-on: https://cl.tvl.fyi/c/depot/+/9605 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/gerrit/0003-Add-titles-to-CLs-over-HTTP.patch')
0 files changed, 0 insertions, 0 deletions