diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-04-16T15·28+0200 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2020-11-27T19·59+0000 |
commit | a30e616efbd51eba0e651df7e45d9114775195e1 (patch) | |
tree | f34d58ad6b07004469d5d5ef0ca9c929fd858a23 /third_party/gerrit/0007-Fix-gr-hovercard-behavior-under-Firefox.patch | |
parent | 89f1489916b0b727a13ddf49ec90d00616454c65 (diff) |
refactor(tvix): JSONSax: Use a RootValue r/1938
More #3377. Backported from upstream at 9f46f54de4e55267df492456fc0393f74616366 Change-Id: I11bfca4ec56bd4e45291ce3f98a60f198dff0196 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2140 Tested-by: BuildkiteCI Reviewed-by: andi <andi@notmuch.email>
Diffstat (limited to 'third_party/gerrit/0007-Fix-gr-hovercard-behavior-under-Firefox.patch')
0 files changed, 0 insertions, 0 deletions