diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-08T15·47+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-08T16·00+0000 |
| commit | 1629f3064fbb0ef8d33dc1eb5db154a42a918bf9 (patch) | |
| tree | da28ae0bcb6908a7b03b7bb0514488a7478faf47 /third_party/nsfv | |
| parent | b172c804b0995cbd74960c534452b19eaaf4a2af (diff) | |
docs(tvix/castore): remove TODO r/6729
This probably was about passing around directory_putter at some point, which we do, so whatever this meant, it's not actionable anymore. Change-Id: I1b4e0cdd2119bf2b2a9cf06d186a3b476b0ff367 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9573 Reviewed-by: Linus Heckemann <git@sphalerite.org> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/nsfv')
0 files changed, 0 insertions, 0 deletions