diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-15T18·41+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-15T18·44+0000 |
commit | 04503cf063340464fb4e8a185fe3b550ed48fa34 (patch) | |
tree | fda68abcd2e27e5a1f0007e96277b93827083d48 /tvix/eval/.skip-subtree | |
parent | 85b3f17007825b023d549d8e926322797e08ce6d (diff) |
chore(tvix): add grfn & sterni to OWNERS r/4863
Change-Id: Ieb7647a571332f49f896b5c4a86784d8ea31a5d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6605 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/.skip-subtree')
0 files changed, 0 insertions, 0 deletions